summaryrefslogtreecommitdiff
path: root/js/codeq
diff options
context:
space:
mode:
Diffstat (limited to 'js/codeq')
-rw-r--r--js/codeq/problem_list.js10
1 files changed, 0 insertions, 10 deletions
diff --git a/js/codeq/problem_list.js b/js/codeq/problem_list.js
index 0070edb..de264e0 100644
--- a/js/codeq/problem_list.js
+++ b/js/codeq/problem_list.js
@@ -227,16 +227,6 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
// title: HTML structure for "name" and "desc"
html.push('<h1 class="language-title" ', ta(langDict.name), '></h1><hr>');
html.push('<div class="language-description" ', ta(langDict.description), '></div>');
- if (li === 'prolog') {
- for (i = 0; i < codeq.experiments.length; i++) {
- if (codeq.experiments[i]['id'] == 'prolog_hints') {
- html.push('<div><a target="_blank" href="https://ailab.si/codeq-survey.php' +
- '?group=' + codeq.experiments[i]['group'] +
- '&check=' + $('#profile-username').text().slice(-1) +
- '">Izpolni anketo o CodeQ.</a></div>');
- }
- }
- }
// content: problem directory
for (i = 0; i < groups.length; i++) {