Viewing all changes in revision 243.
- Committer: Nikolaj Jensen Ulrik
- Date: 2020-10-05 14:04:27 UTC
- Revision ID: nikolaj@njulrik.dk-20201005140427-plxma5t5wutn1237
Use existing options handling in LTLMain
- files modified:
- src/CMakeLists.txt
expand all
collapse all
added
removed
