%% %% This is file `dps-wcs.def', %% generated with the docstrip utility. %% %% The original source files were: %% %% dps.dtx (with options: `willCloseSave') %% \begin{willClose} resetDPS(); \end{willClose} \begin{willSave} resetDPS(); \end{willSave} \endinput %% %% End of file `dps-wcs.def'.