shorten msg

6 years ago · 4a55c98a0c
parent ddd9ae3798
commit 4a55c98a0c
2 changed files with 2 additions and 2 deletions
--- a/pollen/private/ts.rktd
+++ b/pollen/private/ts.rktd
@ -1 +1 @@
-1543680113
+1543680907
--- a/pollen/unstable/pygments.rkt
+++ b/pollen/unstable/pygments.rkt
@ -85,7 +85,7 @@ if zero is False:
        (define pre " Using plain `pre` blocks.")
        (match (find-executable-path python-executable)
          [(? path? python)
-           (prn1 (~a "launching `" python " " pipe.py "` to use Pygments"))
+           (prn1 (~a "launching pipe.py to use Pygments"))
           (match (process (~a python
                               " -u " pipe.py
                               (if line-numbers? " --linenos" "")