From fe35b97834b8f45bab4739a417ebfb9e65c18d6d Mon Sep 17 00:00:00 2001 From: m455 Date: Sat, 21 Apr 2018 09:54:15 -0400 Subject: [PATCH] added a 'do not edit this file' message in the generated file --- init.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/init.rkt b/init.rkt index 24ee935..020bedb 100644 --- a/init.rkt +++ b/init.rkt @@ -10,7 +10,7 @@ (define (initialize-file) (display-to-file - "\n" + "--Do not edit this file--\n" path #:mode 'text #:exists 'replace))