forked from DGNum/infrastructure
feat(ds-fr): Update our version
This commit is contained in:
parent
d5bbf07484
commit
4de8abc45b
1 changed files with 1 additions and 1 deletions
|
@ -3,4 +3,4 @@ _:
|
|||
builtins.map (id:
|
||||
builtins.fetchurl
|
||||
"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
|
||||
[ "b7da18961474d4fc757adfa10558d5a3c4ec893c" ]
|
||||
[ "917669e4fd55d961793af7a44738e96d72b66507" ]
|
||||
|
|
Loading…
Reference in a new issue