# After changing this file, please run
#     git ls-files -i --exclude-standard
# to check that you haven't inadvertently ignored any tracked files.

/pagsh
/pagsh.krb
/kseal
/tokens
/tokens.krb
/unlog