Philip Chimento f00dd1a594 Integration settings for Linux ... 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.)		2022-04-26 22:54:15 -07:00
..
Examples	Initial commit	2019-02-05 00:44:07 +00:00
epub-css-tweaks.txt	Initial commit	2019-02-05 00:44:07 +00:00
HTMLModel.html	Initial commit	2019-02-05 00:44:07 +00:00
in-application-instructions.txt	Fixed batch-testing misconfiguration	2019-03-17 13:48:15 +00:00
indoc-instructions.txt	Integration settings for Linux	2022-04-26 22:54:15 -07:00
The Indoc Manual.txt	Initial commit	2019-02-05 00:44:07 +00:00
The Second Volume.txt	Initial commit	2019-02-05 00:44:07 +00:00
windows-css-tweaks.txt	Initial commit	2019-02-05 00:44:07 +00:00