<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">%
% This file is generated from HISTORY automatically.
% So do not edit this file directly.
%
\Dver{20050623-4} \Dmodify{2005}{06}{22}
</pre></body></html>