From 4a55c98a0c249ea41c6f8c44ce3366dbe60f6265 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 1 Dec 2018 08:15:07 -0800 Subject: [PATCH] shorten msg --- pollen/private/ts.rktd | 2 +- pollen/unstable/pygments.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 9f8ca31..4c9637c 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1543680113 +1543680907 diff --git a/pollen/unstable/pygments.rkt b/pollen/unstable/pygments.rkt index 24d05e4..5ca7793 100644 --- 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" "")