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