.gitignore « xacml-proofs - rego-proofs.git - Lean proofs for my Master's thesis

about summary refs log tree commit diff

path: root/xacml-proofs/.gitignore

blob: d5138da9c56f6027436e53082c72cee370baa5d6 (plain)

1
2
3

xacml-3.0-from-2.0-ct/
.lake/
_build/

© 2015 - 2026 Jakob L. Kreuze