diff --git a/dist/SequentConfig-v10.5.0.js b/dist/SequentConfig-v10.5.1.js similarity index 99% rename from dist/SequentConfig-v10.5.0.js rename to dist/SequentConfig-v10.5.1.js index 30975301..40b618d2 100644 --- a/dist/SequentConfig-v10.5.0.js +++ b/dist/SequentConfig-v10.5.1.js @@ -20,7 +20,7 @@ * in this same file, which you might want to edit and tune if needed. */ -var SEQUENT_CONFIG_VERSION = '10.5.0'; +var SEQUENT_CONFIG_VERSION = '10.5.1'; var SequentConfigData = { // the base url path for ajax requests, for example for sending ballots or @@ -236,7 +236,7 @@ var SequentConfigData = { title: "" }, - mainVersion: '10.5.0', + mainVersion: '10.5.1', repoVersions: [], // Number of seconds after which an authentication token expires. diff --git a/dist/SequentPlugins-v10.5.0.js b/dist/SequentPlugins-v10.5.1.js similarity index 100% rename from dist/SequentPlugins-v10.5.0.js rename to dist/SequentPlugins-v10.5.1.js diff --git a/dist/SequentThemes-v10.5.0.js b/dist/SequentThemes-v10.5.1.js similarity index 100% rename from dist/SequentThemes-v10.5.0.js rename to dist/SequentThemes-v10.5.1.js diff --git a/dist/appCommon-v10.5.0.js b/dist/appCommon-v10.5.1.js similarity index 100% rename from dist/appCommon-v10.5.0.js rename to dist/appCommon-v10.5.1.js diff --git a/dist/index.html b/dist/index.html index 43c65d48..dc825ef8 100644 --- a/dist/index.html +++ b/dist/index.html @@ -1,2 +1,2 @@