Viewing all changes in revision 974.

Committer: Jiri Srba
Date: 2018-08-13 09:45:57 UTC
mfrom: <a title="Merged From 969.2.1" href="/~tapaal-contributor/tapaal/highlight-names-on-select-1786755/revision/969.2.1">(969.2.1 tapaal-removeObservableDataLayer)
Revision ID: srba.jiri@gmail.com-20180813094557-dl8fktu0dv4x9z10

merged in branch lp:~yrke/tapaal/tapaal-removeObservableDataLayer
removing some code

added added

removed removed