Revision 7b96317d - [client-extension] Mizar build script gets Mizar from github or from given di... - SITools2 - IDOC Redmine

« Previous | Next »

Revision 7b96317d

Added by m.gond about 9 years ago

ID 7b96317d50311aa61a2d51807d2ed4570a3a07e7
Parent 2955afdd
Child da25536c

[client-extension] Mizar build script gets Mizar from github or from given directory

Files

added
modified
copied
renamed
deleted

View differences

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