c7ded6a2ba
Put graphviz build plugin behind a profile
0fa0ed9658
Switch to sr.ht build
8c5c84c1d8
Bump mockito-junit-jupiter from 3.7.7 to 4.9.0
c28b07f33d
Bump junit-jupiter from 5.7.0 to 5.9.1
e2b15abff0
Bump lombok from 1.18.16 to 1.18.24
080e9db5ae
Ignore generate I18N and CSS files
dfa5764252
Ignore ide files
d5d40a02c7
eliom-distillery -name daegsrv -template os.pgocaml
10f486040a
Add logo description and html version
1be2722efc
Add MITNFA license