Revision 17357f1c - [client-extension] Set Mizar install script to revision 465c9608259cc5947a205... - SITools2 - IDOC Redmine

« Previous | Next »

Revision 17357f1c

Added by m.gond over 8 years ago

ID 17357f1c852ecda3ab11f183095f299a44fdfa91
Parent 3561d6d1
Child 2c566dba

[client-extension] Set Mizar install script to revision 465c9608259cc5947a20529a557ab5b11a3dadf7

Files

added
modified
copied
renamed
deleted

View differences

workspace
- client-extension-3.0
  - resources
    - scripts
      - build_mizar.sh (diff)