diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 10:15:34 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 10:15:34 +0100 |
| commit | 0434a8cdb16f1a66c3044c178e30d0fe6b55e488 (patch) | |
| tree | b522eef57dc824d62b72e9a4f5b335bc67d8e09b /vernac | |
| parent | 01dffadf2716d6d88c236c7333b8c43a54d39f95 (diff) | |
| parent | 1acd714b2b0253aae05af534f3c7f7c0e726617a (diff) | |
Merge PR #6309: [default.nix] needs ncurses for the test-suite
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions