diff options
| author | Jakob L. Kreuze | 2023-07-21 15:36:07 -0400 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-09-12 18:45:53 -0400 |
| commit | 277859d1487dea8b1c689bdaafd6252bca2e70b3 (patch) | |
| tree | de637c82757a59e4eb0f978aba5bd9cdb2635ce4 /xacml-proofs/.gitignore | |
| parent | 91fdd70c074413b7cbd65bf622cc6937440eaf80 (diff) | |
Initial commit
Diffstat (limited to 'xacml-proofs/.gitignore')
| -rw-r--r-- | xacml-proofs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xacml-proofs/.gitignore b/xacml-proofs/.gitignore new file mode 100644 index 0000000..4aab16c --- /dev/null +++ b/xacml-proofs/.gitignore @@ -0,0 +1 @@ +xacml-3.0-from-2.0-ct/ |