Revision 2bd1bd46
ID | 2bd1bd46ae478d7e717420cd0d9c9ac418c70b1d |
ci: Add --name option to override server name
Files
- added
- modified
- copied
- renamed
- deleted
ID | 2bd1bd46ae478d7e717420cd0d9c9ac418c70b1d |
Added by Christos Stavrakakis over 10 years ago
ci: Add --name option to override server name