src/log/.gitignore

   1 # After changing this file, please run
   2 #     git ls-files -i --exclude-standard
   3 # to check that you haven't inadvertently ignored any tracked files.
   4
   5 /pagsh
   6 /pagsh.krb
   7 /kseal
   8 /tokens
   9 /tokens.krb
  10 /unlog