Skip to content
Snippets Groups Projects
Commit 2c2d4580 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Plugins] fix experimental status of some plugins

parent 5c0d126d
No related branches found
No related tags found
No related merge requests found
...@@ -24,7 +24,7 @@ include Plugin.Register ...@@ -24,7 +24,7 @@ include Plugin.Register
(struct (struct
let name = "impact" let name = "impact"
let shortname = "impact" let shortname = "impact"
let help = "impact analysis (experimental)" let help = "impact analysis"
end) end)
module Pragma = module Pragma =
......
...@@ -24,7 +24,7 @@ include Plugin.Register ...@@ -24,7 +24,7 @@ include Plugin.Register
(struct (struct
let name = "report" let name = "report"
let shortname = "report" let shortname = "report"
let help = "Properties Status Report (experimental)" let help = "Properties Status Report"
end) end)
module Print = module Print =
......
...@@ -28,7 +28,7 @@ module P = Plugin.Register ...@@ -28,7 +28,7 @@ module P = Plugin.Register
(struct (struct
let name = "Server" let name = "Server"
let shortname = "server" let shortname = "server"
let help = "Frama-C Request Server" let help = "Frama-C Request Server (experimental)"
end) end)
include P include P
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment