Viewing all changes in revision 223.
- Committer: Jiri Srba
- Date: 2020-04-27 12:50:39 UTC
- Revision ID: srba@cs.aau.dk-20200427125039-2pkge8jkpgmua048
fixed a bug in MCC20 script BC should be BK
- files modified:
- Scripts/MCC20/competition-scripts/tapaal.sh
expand all
collapse all
added
removed
