Revision 34ff9f7f - [client-extension] Fix default parameter for Mizar modules - SITools2 - IDOC Redmine

« Previous | Next »

Revision 34ff9f7f

Added by m.gond about 9 years ago

ID 34ff9f7fb28c340c4535f2432cd44be637ded889
Parent af68096c
Child 01d8f401

[client-extension] Fix default parameter for Mizar modules

Files

added
modified
copied
renamed
deleted

View differences

workspace
- client-extension-3.0
  - js
    - modules
      - MizarModule.js (diff)
      - MizarViewAndDataModule.js (diff)