author | Richard W.M. Jones <rjones@redhat.com> | |
Tue, 13 Oct 2020 15:16:25 +0000 (16:16 +0100) | ||
committer | Richard W.M. Jones <rjones@redhat.com> | |
Tue, 13 Oct 2020 15:16:25 +0000 (16:16 +0100) | ||
commit | 54595cfdd8aa441edb5e4738e4643f3c5fbbe471 | |
tree | d4da2a3fa4649ad2836664f7bba99420b2be8af0 | tree | snapshot |
parent | 4a495ffea4aca7bad1298bc8b5abf2863bf16bed | commit | diff |
2020-frama-c/notes.txt | [new file with mode: 0644] | blob |