diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-01-21 15:42:51 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-01-21 15:42:51 +0100 |
| commit | 5f6236ec715410ddcfe3b0adf10f1f08b8aa1b91 (patch) | |
| tree | d0c5aca1be71ed7b17c27808b29cd1e8622df0f0 /default.nix | |
| parent | 08eafb1add8c04fdd57eb4f43793b3377a9fb94c (diff) | |
Provide internal command advancer to batch-CMD.
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions