diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-10-16 06:26:55 +0200 |
| commit | 1cf6f50a75bc8e10410b28e1a739d6cacc83b1de (patch) | |
| tree | a3fe4e5ae3f434eb95e8da62dd8475be9fccaf29 /lib/valid-repos.sh | |
| parent | bf0552def4a6a43a759e1bafcbc4e1ac85d15055 (diff) | |
| download | devtools32-1cf6f50a75bc8e10410b28e1a739d6cacc83b1de.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'lib/valid-repos.sh')
0 files changed, 0 insertions, 0 deletions