.gitignore: devtools -> devtools32 - devtools32 - Archlinux32 fork of devtools

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

summary refs log tree commit diff

path: root/lib

diff options

author	Erich Eckner <git@eckner.net>	2018-06-06 13:30:04 +0200
committer	Erich Eckner <git@eckner.net>	2018-06-20 15:42:38 +0200
commit	7610011650e606a57ea43f824d780c37f58c3f85 (patch)
tree	a5e0f037a8a28a2b33ccbdfbfabab604f4910d2d /lib
parent	814795043581b7d2402b78aa659d595c0f948a87 (diff)

.gitignore: devtools -> devtools32v20180620

Diffstat (limited to 'lib')

0 files changed, 0 insertions, 0 deletions