| commit | ea54afb82f656682857407711e5b60895204d501 | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Wed Oct 03 21:09:26 2018 +0100 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Wed Oct 03 21:09:26 2018 +0100 |
| tree | 03ecf0dfd0df42006f13acad47d492020777190d | |
| parent | 97e066babe4e04a11dddbc5256b315b9350862c8 [diff] |
Added print and sync buttons to flexmi renderer view