From 2a4088119cf41175457414dfa59bd4064b8f0562 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Wed, 1 Jan 2020 17:04:37 -0800 Subject: 5852 --- archive/1.vm.arc/charterm/doc.scrbl | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 archive/1.vm.arc/charterm/doc.scrbl (limited to 'archive/1.vm.arc/charterm/doc.scrbl') diff --git a/archive/1.vm.arc/charterm/doc.scrbl b/archive/1.vm.arc/charterm/doc.scrbl deleted file mode 100644 index 67040691..00000000 --- a/archive/1.vm.arc/charterm/doc.scrbl +++ /dev/null @@ -1,7 +0,0 @@ -#lang scribble/manual -@; THIS-FILE-WAS-GENERATED-BY-MCFLY-TOOLS (planet neil/mcfly-tools:1:=12) -@(require (for-syntax racket/base) - (for-template racket/base) - (planet neil/mcfly:1:3/mcfly-scribble) - (planet neil/mcfly:1:3/mcfly-expand)) -@(mcfly-expand "charterm.rkt") -- cgit 1.4.1-2-gfad0