diff options
| author | Erich Eckner <git@eckner.net> | 2016-10-08 09:07:13 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-10-08 09:07:13 +0200 |
| commit | dc495b40a9210b33d59949a739c875c14e791d66 (patch) | |
| tree | c041be5cb75c38aaaf2d75c8782fac6ddd2dd144 /Makefile | |
| parent | 1018e7b2ab1393f1a75a2f0a611d485ccaf3220b (diff) | |
| download | makekernel-dc495b40a9210b33d59949a739c875c14e791d66.tar.xz | |
ignore Proxy if unavailable
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions