diff options
author | 2009-08-20 05:53:58 +0200 | |
---|---|---|
committer | 2009-08-20 05:53:58 +0200 | |
commit | f43a9d01f1f67882f8c11a0f3862b544343ab570 (patch) | |
tree | c25534b3f69938788c361148cf5345add3b0df55 /profiles | |
parent | Updated the README (diff) | |
download | hardened-dev-f43a9d01f1f67882f8c11a0f3862b544343ab570.tar.gz hardened-dev-f43a9d01f1f67882f8c11a0f3862b544343ab570.tar.bz2 hardened-dev-f43a9d01f1f67882f8c11a0f3862b544343ab570.zip |
Change repo name in /profile/repo_name
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/repo_name | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/repo_name b/profiles/repo_name index 38bf3dc0..c320dd8b 100644 --- a/profiles/repo_name +++ b/profiles/repo_name @@ -1 +1 @@ -secure +hardened-development |