.gitignore: configtool.ini is now an expected user file.
This commit is contained in:
parent
05bfea40de
commit
3f4e01f991
|
|
@ -11,3 +11,4 @@ Makefile
|
||||||
sim
|
sim
|
||||||
doc
|
doc
|
||||||
datalog.out
|
datalog.out
|
||||||
|
configtool.ini
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue