mirror of
https://github.com/ganelson/inform.git
synced 2024-07-07 17:44:22 +03:00
I'll keep my inform7-ide checkout in the same root as inform, and it's now named inform7-ide rather than gnome-inform7. (Later I may change this to install directly into /usr though.) |
||
---|---|---|
.. | ||
Chapter 1 | ||
Chapter 2 | ||
Chapter 3 | ||
Chapter 4 | ||
Figures | ||
Manual | ||
Materials | ||
Tests | ||
.gitignore | ||
Contents.w | ||
indoc.giscript | ||
versions.txt |