diff options
| author | Paul Bütow <pbuetow@mimecast.com> | 2019-01-04 11:20:31 +0000 |
|---|---|---|
| committer | Paul Bütow <pbuetow@mimecast.com> | 2020-01-22 20:17:04 +0000 |
| commit | ef0797de245a61e0f92788bc8ff14f84ca82d45e (patch) | |
| tree | 13f912c31540ae0b43258801d271de8830b08a3b /.gitignore | |
| parent | 3205485b522083df47c1ebe6b301576fe12882f1 (diff) | |
Release of I/O Riot 0.5.10.5.1
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ *.ko *.o -docs/html/ -docs/latex/ +doc/html/ +doc/latex/ ioriot/ioriot ioriot/tags systemtap/downloads/ |