/Makefile/1.5/Thu Nov 21 23:38:36 2019//
/Makefile.inc/1.3/Mon Jun  3 16:06:56 2019//
D/yubico-c////
D/yubico-c-client////
D/yubico-piv-tool////
D/yubikey-manager////
D/yubikey-personalization////
D/yubikey-personalization-gui////
