Merge pull request #235 from openHPI/remove_old_hints

Completely remove old hints connected to the execution environment
This commit is contained in:
rteusner
2018-11-30 15:41:01 +01:00
committed by GitHub
41 changed files with 54 additions and 744 deletions

View File

@@ -7,8 +7,6 @@ de:
name: Name
oauth_key: OAuth Key
oauth_secret: OAuth Secret
error:
message: Nachricht
execution_environment:
docker_image: Docker-Image
exposed_ports: Zugängliche Ports
@@ -140,9 +138,6 @@ de:
consumer:
one: Konsument
other: Konsumenten
error:
one: Fehler
other: Fehler
error_template:
one: Fehlertemplate
other: Fehlertemplates
@@ -229,10 +224,6 @@ de:
consumers:
show:
link: Konsument
errors:
connection_refused: Verbindung abgelehnt
index:
count: Anzahl
execution_environments:
form:
hints: