Remove projects/ed25519
In d3e8a8ac we stopped using projects/ed25519
(replaced by projects/edwards25519
), so it is not needed anymore.
In d3e8a8ac we stopped using projects/ed25519
(replaced by projects/edwards25519
), so it is not needed anymore.