extra/devtools: 20181204.1 -> 20181205 - packages - Archlinux32 package modifications

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

diff options

author	Erich Eckner <git@eckner.net>	2018-12-05 15:23:43 +0100
committer	Erich Eckner <git@eckner.net>	2018-12-05 15:23:43 +0100
commit	4ede4b823d1d8bc943b0cafeb2c9459668f70eb2 (patch)
tree	754af384c6da6ac2ad6392f9e1f1921a102632f4 /extra/gnu-efi-libs
parent	ce9343f62145a74d50bfd3999e1df5cfaefded1a (diff)

extra/devtools: 20181204.1 -> 20181205

Diffstat (limited to 'extra/gnu-efi-libs')

0 files changed, 0 insertions, 0 deletions