.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: c12e62861122f89c55344c4f8c03c067108138e8 (plain)

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