notes.txt: Add link to Z3 model_compress bug.
[libguestfs-talks.git] / 2020-frama-c / restore
1 #!/bin/bash -
2
3 # (nothing)