Revision e83ed494
ID | e83ed4948368cdb4b5bc4ca19b3e7b9844219c1d |
Small fix in ci script
Files
- added
- modified
- copied
- renamed
- deleted
ID | e83ed4948368cdb4b5bc4ca19b3e7b9844219c1d |
Added by Christos Stavrakakis about 11 years ago
Small fix in ci script