Viewing all changes in revision 1118.

Committer: Jiri Srba
Date: 2021-02-28 13:46:59 UTC
mfrom: <a title="Merged From 1117.1.2" href="/~tapaal-contributor/tapaal/query-parsing-bug-1921580/revision/1117.1.2">(1117.1.2 unscalable-window)
Revision ID: srba@cs.aau.dk-20210228134659-nwqklnc4ywahsm65

merged in lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 fixing the scaling of raw-output result

added added

removed removed