aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorPaul Garlick <pgarlick@tourbillion-technology.com>2021-11-30 23:59:18 +0000
committerPaul Garlick <pgarlick@tourbillion-technology.com>2021-11-30 23:59:18 +0000
commit199f04a97f45588445adb930877aeaaa6ce916c7 (patch)
tree0ce2774aafdaef3833061bc37c0b72ddf805ef1a /doc/.gitignore
parentddaed93b0a50fddb0c9ef1972097bee6689ef66c (diff)
downloadfullSWOF-utils-199f04a97f45588445adb930877aeaaa6ce916c7.tar.gz
manual: Avoid deletion of html index page.
* Makefile: Edit clean target.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions