diff options
| author | Théo Zimmermann | 2020-05-20 12:37:49 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-20 12:40:56 +0200 |
| commit | 7e8897ae8f47d114451a4edf3246e2223a797bff (patch) | |
| tree | cdad2c405b781962890f13f652834a618a128d12 /dev/ci | |
| parent | a89ea61714feb69a62f021a69ed7fdca2e2ff6f5 (diff) | |
Bump nixpkgs to get ocamlformat 0.14.2.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions