diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2019-12-16 20:50:16 +0000 |
---|---|---|
committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2019-12-16 20:50:16 +0000 |
commit | 8b69c236477800baf5c45ea7dcddfa78d7ee58e1 (patch) | |
tree | 1ebffe02cc89ad36a29b44d2bd74c616a9218fad /doc/dir | |
parent | 910ce83838552c962e9e3f80d3a0952409d982b4 (diff) | |
download | fullSWOF-utils-8b69c236477800baf5c45ea7dcddfa78d7ee58e1.tar.gz |
instruct git to ignore html manual directory.
Diffstat (limited to 'doc/dir')
0 files changed, 0 insertions, 0 deletions