diff options
author | 2020-09-04 22:50:04 -0400 | |
---|---|---|
committer | 2020-09-04 22:50:04 -0400 | |
commit | e6feddc952ecb232ac0304ffa698ae707ac39cdb (patch) | |
tree | ad3a57e93abed22682d34a8b820a2cdcaddbaf8e /doc/images/header.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/header.png')
-rw-r--r-- | doc/images/header.png | bin | 104022 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/images/header.png b/doc/images/header.png Binary files differdeleted file mode 100644 index aaf5b55d..00000000 --- a/doc/images/header.png +++ /dev/null |