This repository has been archived by the owner on Dec 29, 2022. It is now read-only.
disunification and naming suggestions from Karl Pentzlin #64
Comments
Original comment by |
Original comment by |
Original comment by
|
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Original issue reported on code.google.com by
markus.icu
on 6 Jan 2009 at 8:25The text was updated successfully, but these errors were encountered: