From 6090359cf33c1a44c020bc1293f4724191faa766 Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Thu, 7 Jun 2018 18:32:38 -0700
Subject: [PATCH] switch to `#lang info`

---
 brag/info.rkt | 2 +-
 info.rkt      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/brag/info.rkt b/brag/info.rkt
index c27572d..d3d90b5 100755
--- a/brag/info.rkt
+++ b/brag/info.rkt
@@ -1,4 +1,4 @@
-#lang setup/infotab
+#lang info
 (define name "brag")
 
 (define scribblings '(("brag.scrbl")))
diff --git a/info.rkt b/info.rkt
index e2872a2..000d84a 100755
--- 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"))