Skip to content
Snippets Groups Projects
Commit 0def89be authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[build] set workspace lang to dune 3.3

parent fbf03d39
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
dev/dune-workspace.bench
+ 1
− 1
View file @ 0def89be
(lang dune 3.2) (lang dune 3.3)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;; ;; ;;
;; This file is part of Frama-C. ;; ;; This file is part of Frama-C. ;;
......
dev/dune-workspace.cover
+ 1
− 1
View file @ 0def89be
(lang dune 3.2) (lang dune 3.3)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;; ;; ;;
;; This file is part of Frama-C. ;; ;; This file is part of Frama-C. ;;
......
doc/developer/dune-workspace.bench
+ 1
− 1
View file @ 0def89be
(lang dune 3.2) (lang dune 3.3)
(context (context
(default (default
(name bench) (name bench)
......
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