Remove mention of PRIME, not needed anymore

This commit is contained in:
dec05eba
2023-04-15 02:47:04 +02:00
parent 45a64316b4
commit 4e59a9b4b6