Revision 89729dfd - [client-extension] Fix link between Mizar and graph - SITools2 - IDOC Redmine

« Previous | Next »

Revision 89729dfd

Added by m.gond over 9 years ago

ID 89729dfd18f6bb3517be466f6c37376072741ae2
Parent 71dbafd1
Child 4e14da40

[client-extension] Fix link between Mizar and graph

Files

added
modified
copied
renamed
deleted

View differences

workspace
- client-extension-3.0
  - js
    - component
      - projectGraph
        MizarGraphColumn.js (diff)