diff options
author | Henrik <henrik.hoiness@online.no> | 2018-07-10 13:46:50 +0200 |
---|---|---|
committer | Henrik <henrik.hoiness@online.no> | 2018-07-10 13:46:50 +0200 |
commit | 8c3561b7dd58ebe2590543c57a5d4c63731e44e1 (patch) | |
tree | 900149caf5adaab9589eefefae64b31ad504ab36 /container-search-gui/src/main/resources/gui/gui_variables.json | |
parent | b991edef1ec5c789314412e9dba139269cd8964e (diff) |
Added configuration-file on JSON-format. Should later contain predetermined values for sources and rankprofiles.
Diffstat (limited to 'container-search-gui/src/main/resources/gui/gui_variables.json')
-rw-r--r-- | container-search-gui/src/main/resources/gui/gui_variables.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/container-search-gui/src/main/resources/gui/gui_variables.json b/container-search-gui/src/main/resources/gui/gui_variables.json new file mode 100644 index 00000000000..1b5f411611a --- /dev/null +++ b/container-search-gui/src/main/resources/gui/gui_variables.json @@ -0,0 +1,4 @@ +{ + "propertyname" : ["propertyname"], + "featurename" : ["featurename"] +} |