aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorPaul Garlick <pgarlick@tourbillion-technology.com>2020-07-20 13:34:41 +0100
committerPaul Garlick <pgarlick@tourbillion-technology.com>2020-07-20 13:34:41 +0100
commit2589b040bad055ac589441a3f49e7ae0c59d9083 (patch)
treeeddf7d8195677cb7c96f2c27987b31f132389ebd /doc/.gitignore
parent68cd1c9ed7fb8829d390a576564a9e106a68e329 (diff)
downloadfullSWOF-utils-2589b040bad055ac589441a3f49e7ae0c59d9083.tar.gz
fullswof-utils: Ignore non-existing files when cleaning doc directory.
* Makefile: Add option to remove command.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions