Commit 9f11822f authored by Thibaud Antignac's avatar Thibaud Antignac Committed by Virgile Prevosto
Browse files


parent 6746da7a
......@@ -104,6 +104,7 @@ where:
- `<Commit message>` is your commit message;
- `<XXX>` is the Github issue identifier.
Developing external plug-ins
......@@ -165,6 +166,7 @@ plug-in is guaranteed to compile and work, independently of API changes;
(2) updating your plug-in will only require synchronizing with the
Frama-C snapshot repository.
Coding conventions
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment