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 /docs/images/darktheme.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 'docs/images/darktheme.png')
| -rw-r--r-- | docs/images/darktheme.png | bin | 0 -> 35215 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/images/darktheme.png b/docs/images/darktheme.png Binary files differnew file mode 100644 index 00000000..6e4d0b12 --- /dev/null +++ b/docs/images/darktheme.png |