diff options
Diffstat (limited to 'xacml-proofs/.gitignore')
| -rw-r--r-- | xacml-proofs/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xacml-proofs/.gitignore b/xacml-proofs/.gitignore index 4aab16c..d5138da 100644 --- a/xacml-proofs/.gitignore +++ b/xacml-proofs/.gitignore @@ -1 +1,3 @@ xacml-3.0-from-2.0-ct/ +.lake/ +_build/ |