diff options
author | tv <tv@shackspace.de> | 2015-07-19 11:50:54 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-07-19 11:50:54 +0200 |
commit | c7acf4bf2a2d31494b0dd5819c1a621c2492ce7c (patch) | |
tree | e60c02da248e70868d65dd7d8c22fecbc70110e5 /2configs/tv/git-public.nix | |
parent | 5c52fb9e917e2d6503e37fddcc33271e5238d02a (diff) |
Makefile: make systems='foo bar...'
Diffstat (limited to '2configs/tv/git-public.nix')
0 files changed, 0 insertions, 0 deletions