diff options
| -rw-r--r-- | .gitignore | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -1,2 +1,11 @@ doc/latex doc/html +*.o +*.so +*S.cpp +*S.h +*C.cpp +*C.h +*C.inl +*I.h +manager/distrio_manager |
![]() |
index : manut/distrio | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 9 |
@@ -1,2 +1,11 @@ doc/latex doc/html +*.o +*.so +*S.cpp +*S.h +*C.cpp +*C.h +*C.inl +*I.h +manager/distrio_manager |