diff options
| author | Yves Bertot | 2020-05-28 16:33:18 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-28 16:33:18 +0200 |
| commit | 4e1a0c3aa403be01b04059f1c6817d885d91eef4 (patch) | |
| tree | e3425270b8c2c19638769d618a25b90e79279282 /docs | |
| parent | 5c67ea2530ba6aaa0dbffaa41e037cfdc9345d00 (diff) | |
| parent | 7186019366bd9654e6d02ae7abe7a36d526b3c95 (diff) | |
Merge pull request #511 from CohenCyril/nix
adding default nix shell
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions