Rename GCC patchdir.

Cette révision appartient à :
2020-08-16 19:58:49 +02:00
Parent bbb5a07443
révision 6a44f74ff8
2 fichiers modifiés avec 1 ajouts et 1 suppressions