← Back to branch summary

~cpn-gui/tapaal/importCPN

Viewing all changes in revision 989.

  • Committer: Thomas Frandsen
  • Date: 2018-10-15 11:21:05 UTC
  • mfrom: (985.1.1 importCPN)
  • Revision ID: ponifi3d@gmail.com-20181015112105-oia63wwszvjonem1
Merged from r986 lp:~cpn-gui/tapaal/declarationsGUI

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: