Graham Christensen 0b8dd57694 jenkins: copy .war to $out, fixes #14137		2016-03-30 11:47:05 -05:00
..
default.nix	jenkins: copy .war to $out, fixes #14137	2016-03-30 11:47:05 -05:00