diff options
| author | Armin Grodon <x4121@users.noreply.github.com> | 2023-12-28 18:59:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-28 23:29:18 +0530 |
| commit | b2ffbb490e3a667009fd335571c963661f44eed8 (patch) | |
| tree | b2aa434f16de5ea1167b04b9ac35d509d85d02f8 | |
| parent | 09318092bd5a29960f70087c28045a950b62a07e (diff) | |
chore: ignore generated man files
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c3df65c --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +/man/* +!/man/*.scd |