.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/valid-repos.sh

diff options

author	Erich Eckner <git@eckner.net>	2018-06-06 13:30:04 +0200
committer	Erich Eckner <git@eckner.net>	2019-12-12 08:09:01 +0100
commit	52885c4746f1c340a024bff2ef405bebca13e6c9 (patch)
tree	01d50f791d86964ae876728c5829546a5584e96e /lib/valid-repos.sh
parent	42d0fbf67304a6831b912ab330319ff0ad8c77fc (diff)

.gitignore: devtools -> devtools32

Diffstat (limited to 'lib/valid-repos.sh')

0 files changed, 0 insertions, 0 deletions