-
Committer:
Jiri Srba
-
Date:
2019-03-15 19:09:57 UTC
-
mfrom:
(993.2.1 tapaal)
-
Revision ID:
srba@cs.aau.dk-20190315190957-xsjcveedvbinv0wl
merged in branch lp:~tapaal-contributor/tapaal/make-grid-reappear-on-export-tikz-cancel-1820016 that fixes problem with disappearing grid after cancelled export to tikz