Matthew Flatt b644bb2901 planet2: remove "METADATA.rktd" compatibility		2012-12-21 11:51:08 -07:00
..
scribblings	Fixing typos in various places	2012-12-03 22:07:48 -07:00
.gitignore
commands.rkt
info.rkt	raco pkg: switch from "METADATA.rktd" to "info.rkt"	2012-11-30 19:09:19 -07:00
lib.rkt	planet2: remove "METADATA.rktd" compatibility	2012-12-21 11:51:08 -07:00
main.rkt	Fixing typos in various places	2012-12-03 22:07:48 -07:00
name.rkt	raco pkg: switch from "METADATA.rktd" to "info.rkt"	2012-11-30 19:09:19 -07:00
raco.rkt
util.rkt	Cleaning up offical PNS server re: Danny	2012-12-08 09:09:39 -07:00