.gitignore: devtools -> devtools32 - devtools32

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

diff options

author	Erich Eckner <git@eckner.net>	2018-06-06 13:30:04 +0200
committer	Erich Eckner <git@eckner.net>	2019-04-01 10:20:17 +0200
commit	5e1bf4243c7b02b5ccd8f68ea2aa5bc59c198f20 (patch)
tree	312601fc3361c5a3f06a1ed98af3f542c63957f6 /doc/find-libprovides.1.asciidoc
parent	9c02f3d909ee9adb28f755a1abb535b6ed227ae2 (diff)

.gitignore: devtools -> devtools32

Diffstat (limited to 'doc/find-libprovides.1.asciidoc')

0 files changed, 0 insertions, 0 deletions