diff options
| author | Vincent Laporte | 2018-09-07 17:21:13 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2018-09-07 17:21:13 +0200 |
| commit | 52e3760d7803d38a6af7bbc7606440167e5c409a (patch) | |
| tree | 909de0c41b2eeb2e72c6681e3130d07bb6c5abc3 /kernel/type_errors.mli | |
| parent | 2139ee422754f4c3e039f7d3e3316fea47123b5c (diff) | |
| parent | 2df7644f5bb8c1fc0345cd94807c7cf284c980fb (diff) | |
Merge PR #8428: Add utop to default.nix for use in nix-shell (see #8426).
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions