From 829f049420adffcd9b96354e0b496d6eeeb413c8 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 29 Oct 2018 17:12:54 -0700 Subject: [PATCH] gone --- pollen/private/ts.rktd | 2 +- pollen/private/update-info.rkt | 10 ---------- 2 files changed, 1 insertion(+), 11 deletions(-) delete mode 100644 pollen/private/update-info.rkt diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 987d285..d1e24ec 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1540858370 +1540858374 diff --git a/pollen/private/update-info.rkt b/pollen/private/update-info.rkt deleted file mode 100644 index 1cd7fed..0000000 --- a/pollen/private/update-info.rkt +++ /dev/null @@ -1,10 +0,0 @@ -#lang racket/base -(require racket/runtime-path racket/file pollen/private/version) - -(define-runtime-path info-file "../../info.rkt") - -(module+ main -(define str (file->string info-file)) -(define newstr - (regexp-replace #rx"\\(define version .*?\\)" str (format "(define version ~v)" pollen:version-strict))) -(display-to-file newstr info-file #:exists 'replace)) \ No newline at end of file