diff options
| -rw-r--r-- | profiles/profiles.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/profiles.desc b/profiles/profiles.desc index 6b722e2..6745518 100644 --- a/profiles/profiles.desc +++ b/profiles/profiles.desc @@ -1,3 +1,4 @@ amd64 uni-regensburg/linux/amd64 stable amd64 uni-regensburg/linux/amd64/17.1 stable +amd64 uni-regensburg/linux/amd64/17.2 dev |