D/yubico-c////
D/yubico-c-client////
D/yubikey-personalization////
D/yubikey-personalization-gui////
D/yubico-piv-tool////
/Makefile/1.4/Mon Apr 29 17:57:11 2019//
/Makefile.inc/1.3/Tue Jun  4 19:31:18 2019//
