Skip to content
Snippets Groups Projects
Commit b56e3ea9 authored by Thibault Martin's avatar Thibault Martin
Browse files

[doc] Add beta in doc link

parent 4880efea
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
opam
+ 1
− 1
View file @ b56e3ea9
......@@ -72,7 +72,7 @@ authors: [
homepage: "https://frama-c.com/"
license: "LGPL-2.1-only"
dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
doc: "http://frama-c.com/download/user-manual-29.0-Copper.pdf"
doc: "http://frama-c.com/download/user-manual-29.0-beta-Copper.pdf"
bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
tags: [
"deductive"
......
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