--- a/etc/settings Sun Jul 07 18:34:29 2013 +0200
+++ b/etc/settings Sun Jul 07 18:43:14 2013 +0200
@@ -116,10 +116,6 @@
#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
-# Printer spool command for PS files
-PRINT_COMMAND=lp
-
-
###
### Rendering information
###