Viewing all changes in revision 209.
- Committer: srba.jiri at gmail
- Date: 2018-06-08 11:32:30 UTC
- Revision ID: srba.jiri@gmail.com-20180608113230-qkp62r0tbaguowgv
fixed the tapaal.sh script for queries with prefix of 0
- files modified:
- Scripts/MCC18/competition-scripts/tapaal.sh
expand all
collapse all
added
removed
