Tighten intro.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 16 Nov 2020 12:20:51 +0000 (12:20 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 16 Nov 2020 12:20:51 +0000 (12:20 +0000)
commitd7e556c576cedd722ff0115cec75e6dc09ce1da2
tree415b743bb1d934c478d5c7808f75e8488d184998
parentb56fbe62b0f248ff66b82252b01da93f9292a03f
Tighten intro.
2020-frama-c/1500-frama-c-core-plugins.html
2020-frama-c/1600-frama-c-plugins.html [deleted file]