diff options
Diffstat (limited to 'graphics/pstricks/base/config/distiller.cfg')
| -rw-r--r-- | graphics/pstricks/base/config/distiller.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/graphics/pstricks/base/config/distiller.cfg b/graphics/pstricks/base/config/distiller.cfg index db654b14d7..9ade331215 100644 --- a/graphics/pstricks/base/config/distiller.cfg +++ b/graphics/pstricks/base/config/distiller.cfg @@ -1,4 +1,4 @@ -% $Id: distiller.cfg 446 2017-04-19 11:40:55Z herbert $ +% $Id: distiller.cfg 4 2020-06-09 08:32:19Z herbert $ %% BEGIN: distiller.con (for distiller driver) %% %% Configuration file for PSTricks |