Joost Rijneveld af508a9c1f SPHINCS: remove stray Makefile variables		2019-04-10 10:07:44 +02:00
..
sphincs-shake256-128f-simple	SPHINCS: remove stray Makefile variables	2019-04-10 10:07:44 +02:00