switch to `#lang info`

7 years ago · 6090359cf3
parent 2c42bce282
commit 6090359cf3
2 changed files with 2 additions and 2 deletions
--- a/brag/info.rkt
+++ b/brag/info.rkt
@ -1,4 +1,4 @@
-#lang setup/infotab
+#lang info
 (define name "brag")
 (define scribblings '(("brag.scrbl")))
--- a/info.rkt
+++ b/info.rkt
@ -1,4 +1,4 @@
-#lang setup/infotab
+#lang info
 (define version "1.0")
 (define deps '("base" "br-parser-tools-lib" "rackunit-lib"))