move doc sub-dirs to scribblings sub-dirs

svn: r8281

original commit: b76aa843ab
This commit is contained in:
Matthew Flatt 2008-01-10 20:07:32 +00:00
parent 067b2a2f25
commit 596f8380ba
8 changed files with 0 additions and 0 deletions