.gitignore - pki.git - Unnamed repository; edit this file 'description' to name the repository.

index : pki.git

Unnamed repository; edit this file 'description' to name the repository.

Endi Dewata

summary refs log tree commit diff stats

path: root/.gitignore

blob: 756dd1abfdd1205f64d24154d8e2fe79f482c00b (plain)

.metadata/
build/
base/javacard/build/
base/javacard/docs/
base/javacard/jcardsim/
base/javacard/jcdk/