_: builtins.map (id: builtins.fetchurl "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch") [ # remplacement l'arrache de quelques logos vers versions DGNum "587f0cb4b6bd8f26c47419be565222b3555fd4aa" # ajout des NDD usuels ENS et DGNum pour autoriser les changements d'adresse mail "0e96c2c3f1496b69d4c5aa7879c53aa033ed7478" # correction des svg des logos DGNum et DN "374afdee034099768c0b43efe13aa75a4f01a559" # remplacement Marianne - pour l'instant à l'arrache uniquement, logo sera repris et affiné plus tard "dea971bef0ebf72aa7aa646b5fec82e64476fbda" # modifs Mariannes "4f8217c95de20ca56b00ec92b31803205f4759f3" # commenter quelques bouts de code inutiles dans l'usage DGNum de DS "50940df24021f92c8618c054c259c2a29e600a0d" # Update logo-ds.svg and delete commented lines "175dd1c3e4e83992852f8ee8a57a2524df69aa65" # correction logo DN pour pages d'erreur "ff3ce779f0913025515e6a040b29feab03d248c9" # normalianisation de DN, texte "0cca4f50a4ada858f2f6ea6eef18c9e27087760f" # modifs sur le fichier en anglais "ae8cc24d39c97be747919e6b6d186cafdbde47f4" # Use our logo in the header "2298d7245a6af75541f5a86ac21c727cbb5dfa3b" # Add the logo-wide under a new name "fb756a8f2d6bfa422fe21723a3fc35372b216494" # modifs diverses vers version DN "04600237ada8d8d97570d8b0e76c9949a282a835" # feat: Update footer "e6453837f9509c52b8e45aac0e78837bced73380" # feat: Remove mentions of faq.demarches-simplifiees.fr "ec7a3812aa05995cb02d51932ef6293d0e923fdc" ]