diff options
| author | gumi <git@gumi.ca> | 2018-01-21 18:12:07 -0500 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2018-01-21 18:26:15 -0500 |
| commit | 0418d6a17b1e5611e6afd643b86197bc142feec4 (patch) | |
| tree | cfa05660562b72624b11e650bc0b1649249560e4 /tools | |
| parent | a19bc234460a107ffc2157856d28a0e3e37f073a (diff) | |
| download | serverdata-0418d6a17b1e5611e6afd643b86197bc142feec4.tar.gz serverdata-0418d6a17b1e5611e6afd643b86197bc142feec4.tar.bz2 serverdata-0418d6a17b1e5611e6afd643b86197bc142feec4.tar.xz serverdata-0418d6a17b1e5611e6afd643b86197bc142feec4.zip | |
add gitlab-ci support
Diffstat (limited to 'tools')
| m--------- | tools | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools b/tools -Subproject d3f495b75dbe1fb0d4c4fac54b3e0e821494008 +Subproject 39ad32ff2226884613cd84babe2370f5c7cac71 |