javacard-openpgpcard/.settings
Joeri 6d37b980cd Moved repository to Git and fixed support for adding keys 2016-09-12 11:32:57 +02:00
..
org.eclipse.jdt.core.prefs Moved repository to Git and fixed support for adding keys 2016-09-12 11:32:57 +02:00