diff options
| author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-07-20 13:34:41 +0100 |
|---|---|---|
| committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-07-20 13:34:41 +0100 |
| commit | 2589b040bad055ac589441a3f49e7ae0c59d9083 (patch) | |
| tree | eddf7d8195677cb7c96f2c27987b31f132389ebd /doc/.gitignore | |
| parent | 68cd1c9ed7fb8829d390a576564a9e106a68e329 (diff) | |
| download | fullSWOF-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