Add resources.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 13 Oct 2020 20:44:39 +0000 (21:44 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 13 Oct 2020 20:44:39 +0000 (21:44 +0100)
commitce629a94a1c7e778f0a25e958d8ca40f6239fc45
tree58363dd65e30254c414ba60e849ebe2e523f17cb
parentdfb5e4bcf891d3068d245d195376f54575d8655e
Add resources.
2020-frama-c/notes.txt