MOVED: remove wxmaxima rename entry, we're not there yet
Description
Description
Details
Details
- Provenance
pi Authored on - Parents
- rP491594: MOVED: fix the sort order according to Tools/scripts/MOVEDlint.awk
- Branches
- Unknown
- Tags
MOVED: remove wxmaxima rename entry, we're not there yet Tags None Referenced Files None Subscribers None |