planetarium/: Tweak manual.
authorMatt Birkholz <puck@birchwood-abbey.net>
Sun, 17 Apr 2016 01:42:34 +0000 (18:42 -0700)
committerMatt Birkholz <puck@birchwood-abbey.net>
Sat, 30 Apr 2016 19:50:58 +0000 (12:50 -0700)
commit4af0d258ad58f310bc78788e0e25950eb1a546f6
tree7f87eba6f226652e82a20df2b7755871d0eaf09b
parent0f5db4f43fb191720d6af84e9970b6c3114337c8
planetarium/: Tweak manual.
src/planetarium/mit-scheme-planetarium.texi