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

Merge branch 'multiple-small-fixes' into 'master'

Moves Specification before GUI

See merge request !86
parents 6698502a b879d7d6
No related branches found
No related tags found
1 merge request!86Moves Specification before GUI
Pipeline #30901 passed
......@@ -4,9 +4,9 @@
- name: Kernel
link: /html/kernel.html
id : kernel
- name: GUI
link: /html/gui.html
id : gui
- name: Specification
link: /html/acsl.html
id : acsl
- name: GUI
link: /html/gui.html
id : gui
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