deleted search modal. reused roc modal for search modal. also added translations

This commit is contained in:
Thomas Hille
2017-03-08 14:34:24 +01:00
parent 325c44c1fb
commit bd0721da2e
6 changed files with 16 additions and 24 deletions

View File

@@ -297,6 +297,11 @@ en:
listing: Listing the newest comment requests
request: "Request Comments"
question: "Please shortly describe your problem or the program part you would like to get feedback for."
rfc_intervention:
text: "It looks like you may struggle with this exercise. If you like we can help you out!"
break_intervention:
title: "Break"
text: "We recognized that you are already working quite a while on this exercise. We would like to encourage you to take a break and come back later."
index:
clone: Duplicate
implement: Implement