diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-06-23 14:54:09 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-06-23 14:54:09 +0200 |
commit | 4058f72817bc4e268eab3bff8f43055343f148e6 (patch) | |
tree | 55d51d041a1f97b151ba02e9c8a08e4522abcce6 /info.rkt | |
parent | dc7023ed6909aef82917930bb4b6da0bc776de89 (diff) |
Add some documentation.
Diffstat (limited to 'info.rkt')
-rw-r--r-- | info.rkt | 2 |
1 files changed, 2 insertions, 0 deletions
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" ()))) |