Skip to content
Snippets Groups Projects
Commit 20adb5df authored by sven.panne@aedion.de's avatar sven.panne@aedion.de
Browse files

[project @ 2000-05-22 20:04:01 by panne] 

zu => _ (i.e. sync name decoding with OccName :-)
parent dcfbe791
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
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