|
9bcf45d8eb
|
[FIX] Fix last commit's mistakes
|
2023-09-17 20:20:43 +02:00 |
|
|
f15991c737
|
[FIX] Fix gitignore a bit, and remove man pages
|
2023-09-17 20:17:54 +02:00 |
|
|
d9217946f3
|
[FIX] Fix commit f61009a423's mistake
|
2023-09-08 16:54:07 +02:00 |
|
array-in-a-matrix
|
5367ffca96
|
replaced .cvsignore with .gitignore
|
2023-09-06 11:45:44 -04:00 |
|
|
839f3a886e
|
With git cvsimport, we shouldn't actually need this anymore.
|
2022-11-01 17:18:44 -04:00 |
|
|
547e4e0203
|
Add a .gitignore for the GitHub mirror.
|
2022-11-01 12:53:42 -04:00 |
|