notes.txt: Add link to Z3 model_compress bug.
[libguestfs-talks.git] / 2020-frama-c / .gitignore
1 /bindings
2 /history