Rename from prime' versions to the normal names, now that the old ones have been removed.
Attach a file by drag & drop or click to upload
Duncan Coutts authored