diff options
| author | Daniil Baturin <daniil@baturin.org> | 2019-01-26 05:10:04 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-26 05:10:04 +0700 |
| commit | aa2bff5ff5cedb3979f3677a5d45fd029db61a20 (patch) | |
| tree | e77d11f3ea43d38a937bd3b7ec8f22e4372e0a72 /.gitmodules | |
| parent | 7a67b6b8bbb2bd8c03b3c3245bdd37065ad35bd2 (diff) | |
| download | vyos-build-aa2bff5ff5cedb3979f3677a5d45fd029db61a20.tar.gz vyos-build-aa2bff5ff5cedb3979f3677a5d45fd029db61a20.zip | |
Install Menhir with opam and use an opam pin for installing vyconf
Quite a bit shorter than running the whole vyconf build sequence by hand.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions