Undo the last commit. It was my own modified Makefile. This is
the right one.
Description
Description
Details
Details
- Provenance
Jesus Rodriguez Cuesta Authored on Jun 30 2001, 8:31 PM - Parents
- R9:ada6355f63b3: Sync with current english version.
- Branches
- Unknown
- Tags