From 6d17cfbd3b77ef29a0926195f3addf3fe24f4b33 Mon Sep 17 00:00:00 2001
From: Matthias Andreas Benkard <code@mail.matthias.benkard.de>
Date: Thu, 23 Jun 2011 14:54:09 +0200
Subject: Add some documentation.

---
 info.rkt | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 info.rkt

(limited to 'info.rkt')

diff --git a/info.rkt b/info.rkt
new file mode 100644
index 0000000..017c55c
--- /dev/null
+++ b/info.rkt
@@ -0,0 +1,2 @@
+#lang setup/infotab
+(define scribblings '(("manual.scrbl" ())))
-- 
cgit v1.2.3