Commit Graph

2 Commits

Author SHA1 Message Date
154029ddd0 BOT: Cleaned up header files 2019-02-06 12:28:23 +00:00
3bc35220b0 GIT: relocate bin/mergedDyM -> bin/deprecated/mergedDyMsolver
- the backend script should not be accessible from the PATH.
  Using deprecated/ adds a level of documentation.
2018-06-27 07:54:28 +02:00