diff options
author | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-04 22:50:04 -0400 |
---|---|---|
committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-04 22:50:04 -0400 |
commit | e6feddc952ecb232ac0304ffa698ae707ac39cdb (patch) | |
tree | ad3a57e93abed22682d34a8b820a2cdcaddbaf8e /doc/images/docstatusbar.png | |
parent | 65abfec720806e641c64471104d592aaafed26f7 (diff) |
Renamed doc/ to docs/ and removed bombay dependency.
Added some documentation infrastructure for eventual migration to a new build
service. Use a simple Lua script for generating documentation offline.
Diffstat (limited to 'doc/images/docstatusbar.png')
-rw-r--r-- | doc/images/docstatusbar.png | bin | 3340 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/images/docstatusbar.png b/doc/images/docstatusbar.png Binary files differdeleted file mode 100644 index 3e096781..00000000 --- a/doc/images/docstatusbar.png +++ /dev/null |