Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Luc Didry
luc.frama.io
Merge requests
!1
The source project of this merge request has been removed.
Update config.toml :
https://xkcd.com/859/
Merged
Jonathan D
requested to merge
(removed):patch-1
into
master
Aug 06, 2020
Overview
0
Changes
1
By the way, thank you for your work (LSTU in particular) !