diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-07 11:28:04 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-07 11:56:22 +0200 |
| commit | 25246653f9b4a3208fe2288ee369c03cdb018704 (patch) | |
| tree | 5e74382263c946cc00fa015a44b6e11ddbe25463 /.gitignore | |
| parent | 1666fc55a5f695950c26e5c3d5e1c3c1ab6f6be5 (diff) | |
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 12 |
1 files changed, 5 insertions, 7 deletions
@@ -1,8 +1,6 @@ -# C -*.o - -# executable rpt - -# manual pages -*.gz +rpt.o +rpt.1 +rpt.1.gz +*.tar.gz +*.tar.gz.sig |
