diff options
| author | Vincent Laporte | 2018-09-24 09:29:52 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-09-24 09:29:52 +0000 |
| commit | cf018315998de2c3ac53806558a233fa88a6f1fe (patch) | |
| tree | 130042fcfa6fed95f6fbc277d9880cea135467e8 /kernel/type_errors.ml | |
| parent | 24d65949450e74a78cf5044297a121f1d7394a0e (diff) | |
| parent | 849388d22c7ebd188d96b7b0f2f5811483ef6e24 (diff) | |
Merge PR #8537: [default.nix] Bump nixpkgs to use Dune 1.2.1.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions