Revision 98fb3419
Added by m.gond about 9 years ago
Files
- added
- modified
- copied
- renamed
- deleted
- workspace
- client-extension-3.0
- data
- project_modules
- map
- string@cb6fe1a7-b0bf-47a9-a361-abce66a1386f.xml
- string@f90f7090-055f-4fde-ad1b-dda8df560926.xml
- map
- projects_modules
- project_modules
- js
- resources
- data
- client-extension-3.0
[client-extension] Mizar deploy and build script