2023-11-30 19:59:19 +01:00
|
|
|
_:
|
2023-11-30 15:09:01 +01:00
|
|
|
|
2023-11-30 19:59:19 +01:00
|
|
|
builtins.map (id:
|
|
|
|
|
builtins.fetchurl
|
|
|
|
|
"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch") [
|
2023-11-30 15:09:01 +01:00
|
|
|
# remplacement l'arrache de quelques logos vers versions DGNum
|
2023-11-30 19:59:19 +01:00
|
|
|
"05d34a880ebb34265ebbcac0a83625b3a976c348"
|
2023-11-30 15:09:01 +01:00
|
|
|
# ajout des NDD usuels ENS et DGNum pour autoriser les changements d'adresse mail
|
2023-11-30 19:59:19 +01:00
|
|
|
"bc4742aaacb174a55a08baae5f354ada3fba4577"
|
2023-11-30 15:09:01 +01:00
|
|
|
# correction des svg des logos DGNum et DN
|
2023-11-30 19:59:19 +01:00
|
|
|
"ee474712a3e50d186acd8bbb52f60c1e4fee2f81"
|
|
|
|
|
# remplacement Marianne - pour l'instant à l'arrache uniquement, logo sera repris et affiné plus tard
|
|
|
|
|
"1965a47fda2bc50fe4ddb2fbac63deb36b933c6f"
|
2023-11-30 15:09:01 +01:00
|
|
|
# modifs Mariannes
|
2023-11-30 19:59:19 +01:00
|
|
|
"222ae5abee8a255cb1fe4e19f6a7769b2df1cafb"
|
2023-11-30 15:09:01 +01:00
|
|
|
# commenter quelques bouts de code inutiles dans l'usage DGNum de DS
|
2023-11-30 19:59:19 +01:00
|
|
|
"ab8b515e3dbd340741a4562ab4f87c520ac99434"
|
2023-11-30 15:09:01 +01:00
|
|
|
# Update logo-ds.svg and delete commented lines
|
2023-11-30 19:59:19 +01:00
|
|
|
"ff36c4ad62f87086781743e843ec2ccde5eab8b6"
|
|
|
|
|
# correction logo DN pour pages d'erreur
|
|
|
|
|
"bbe8e7d421466eea2b2ea56abf004bf91e29224c"
|
2023-11-30 15:09:01 +01:00
|
|
|
# normalianisation de DN, texte
|
2023-11-30 19:59:19 +01:00
|
|
|
"0a630f87e214027e6b49073840fd4e1c1074ed2a"
|
2023-11-30 15:09:01 +01:00
|
|
|
# modifs sur le fichier en anglais
|
2023-11-30 19:59:19 +01:00
|
|
|
"e9e644a4d86b44cfad339d9e6af4ae4938e13f75"
|
2023-11-30 15:09:01 +01:00
|
|
|
# Use our logo in the header
|
2023-11-30 19:59:19 +01:00
|
|
|
"e755b13183da2ea94d8d91de45eae71a1a9fb5b9"
|
2023-11-30 15:09:01 +01:00
|
|
|
]
|
