diff options
author | jvech <jmvalenciae@unal.edu.co> | 2024-09-21 14:46:03 -0500 |
---|---|---|
committer | jvech <jmvalenciae@unal.edu.co> | 2024-09-21 14:46:03 -0500 |
commit | e3040135a5e51baab04070e04f86c22df2867c5c (patch) | |
tree | 0e53f2a649d3096a14a4e1772472463f5e968d7a /.gitignore | |
parent | 3fc51ee0c8135d95ec422dadd6562bf97261a757 (diff) |
The only concern I have with this file is having the program version
matching with the actual program, but it is not critical
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5,7 +5,8 @@ objs/ doc/* !doc/*.pdf !doc/*.tex -!doc/*.1 +!doc/ml.1 +!doc/ml_config.5 *.gdb utils/*.gpi *.bin |