portal/cert: clarify intermediate cert requests

[hcoop/portal.git] / passgen / config.sig

diff --git a/passgen/config.sig b/passgen/config.sig
deleted file mode 100644 (file)
index b61e7c63a026428acb9121421d3b3f1fe7ed72a8..0000000000000000000000000000000000000000
--- a/passgen/config.sig
+++ /dev/null
@@ -1,3 +0,0 @@
-signature CONFIG = sig
-    val dbstring : string
-end

diff --git a/passgen/config.sig b/passgen/config.sig
new file mode 120000 (symlink)
index 0000000000000000000000000000000000000000..c5109c4f8055b96ba9ede6890cb14dbcf529d0d3
--- /dev/null
+++ b/passgen/config.sig
@@ -0,0 +1 @@
+../config.sig
\ No newline at end of file