Skip to content
Snippets Groups Projects
Commit f91ffe86 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[opam] update authors' list

parent e937c28d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
frama-c-metacsl.opam
+ 2
− 0
View file @ f91ffe86
......@@ -47,6 +47,8 @@ resulting clauses.
maintainer: "Virgile.Prevosto@cea.fr"
authors: [
"Virgile Robles"
"Téo Bernier"
"Nikolai Kosmatov"
]
homepage: "https://frama-c.com/"
license: "LGPL-2.1-only"
......
frama-c-metacsl.opam.template
+ 2
− 0
View file @ f91ffe86
......@@ -11,6 +11,8 @@ resulting clauses.
maintainer: "Virgile.Prevosto@cea.fr"
authors: [
"Virgile Robles"
"Téo Bernier"
"Nikolai Kosmatov"
]
homepage: "https://frama-c.com/"
license: "LGPL-2.1-only"
......
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