Add outline of slides.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 14 Oct 2020 11:42:22 +0000 (12:42 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 14 Oct 2020 11:42:22 +0000 (12:42 +0100)
commitbb6d169e8983d33850dc99a9704242ed06cc159b
tree0e8501d7d1e4909c4887c6f4cafd9dbbb6089ace
parente17fe3e420e90cf5aa5ab2212b8825a27ff455c5
Add outline of slides.
2020-frama-c/.gitignore [new file with mode: 0644]
2020-frama-c/1000-introduction.html [new file with mode: 0644]
2020-frama-c/bashrc [new file with mode: 0644]
2020-frama-c/code.js [new file with mode: 0644]
2020-frama-c/functions [new file with mode: 0644]
2020-frama-c/redhat.png [new file with mode: 0644]
2020-frama-c/restore [new file with mode: 0755]
2020-frama-c/run [new file with mode: 0755]
2020-frama-c/style.css [new file with mode: 0644]