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