Commit 5fad945d authored by Oliver Sander's avatar Oliver Sander

Remove custom environment 'shellenv'

It is never used.
parent 145cac18
......@@ -98,14 +98,6 @@
%%%%%%%%%%%%%% Define a 'shellenv' environment for shell output
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment