diff options
author | root <root@ds2.sunet.se> | 2010-07-14 17:35:23 +0200 |
---|---|---|
committer | root <root@ds2.sunet.se> | 2010-07-14 17:35:23 +0200 |
commit | e56c794705028420a06122a9da0f7895394ae66f (patch) | |
tree | 523446174a3e6f99ee74e2aebb839c9d820c15d3 | |
parent | 6977cbe00e4fe6f3bb8023c0c02d7e987c49997f (diff) |
remove generated file from repo
-rw-r--r-- | src/installer/resources/install.properties | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/installer/resources/install.properties b/src/installer/resources/install.properties deleted file mode 100644 index c10e185..0000000 --- a/src/installer/resources/install.properties +++ /dev/null @@ -1,2 +0,0 @@ -#Wed Jul 14 17:28:34 CEST 2010 -ds.home=/opt/shibboleth-ds |