diff options
Diffstat (limited to 'graphics/pstricks/base/config/dvips.cfg')
| -rw-r--r-- | graphics/pstricks/base/config/dvips.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/graphics/pstricks/base/config/dvips.cfg b/graphics/pstricks/base/config/dvips.cfg index d9648c1d0a..f9c5da698e 100644 --- a/graphics/pstricks/base/config/dvips.cfg +++ b/graphics/pstricks/base/config/dvips.cfg @@ -1,4 +1,4 @@ -% $Id: dvips.cfg 797 2018-08-23 18:33:16Z herbert $ +% $Id: dvips.cfg 4 2020-06-09 08:32:19Z herbert $ %% BEGIN: pstricks.con (for dvips driver) %% %% Configuration file for PSTricks |