.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/doc

diff options

author	Erich Eckner <git@eckner.net>	2018-06-06 13:30:04 +0200
committer	Erich Eckner <git@eckner.net>	2020-05-18 08:45:01 +0200
commit	bc25ed3830e43188a606ed7fcdb34bc45923e066 (patch)
tree	2856d1af85ea02e038c18937490fdc7bebd1c751 /doc
parent	ffd45f0f7c9d6ddbe0b70388c55189663050859c (diff)

.gitignore: devtools -> devtools32

Diffstat (limited to 'doc')

0 files changed, 0 insertions, 0 deletions