diff options
| -rw-r--r-- | profiles/profiles.desc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/profiles/profiles.desc b/profiles/profiles.desc index 81c283e..6e90b8e 100644 --- a/profiles/profiles.desc +++ b/profiles/profiles.desc @@ -2,4 +2,6 @@ amd64 uni-regensburg/linux/amd64 stable amd64 uni-regensburg/linux/amd64/17.1 stable amd64 uni-regensburg/linux/amd64/17.2 dev amd64 uni-regensburg/linux/amd64/17.2/server dev +amd64 uni-regensburg/linux/amd64/17.3 dev +amd64 uni-regensburg/linux/amd64/17.3/server dev |