diff options
author | Daiki Ueno <dueno@redhat.com> | 2018-01-31 10:27:43 +0100 |
---|---|---|
committer | Daiki Ueno <ueno@gnu.org> | 2018-01-31 15:51:28 +0100 |
commit | 3a88f2ed573a5bb04d2397c626f6bcf3b1a814da (patch) | |
tree | 70afbb882307a7cf447bff109e5b48a31cfe9cec /.gitignore | |
parent | 57697eda68a3343c2e54e5f8f3f4ce65a99383f5 (diff) |
build: Split out generated code from p11-kit/virtual.c
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -103,6 +103,7 @@ x86_64-w64-mingw32 /p11-kit/p11-kit-1.pc /p11-kit/pkcs11.conf.example /p11-kit/p11-kit-remote@.service +/p11-kit/virtual-fixed.c /po/POTFILES /po/stamp-po |