Commit 1c04bee9 authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 04ef172c
......@@ -4,7 +4,6 @@
\symdef{macosxOS}{\operatorname{\texttt{Mac OS X}}}
\symdef{cygwinOS}{\operatorname{\texttt{cygwin}}}
\symdef{windowsOS}{\operatorname{\texttt{Windows}}}
\defi{shell}
\end{module}
%%% Local Variables:
......
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