diff options
| author | Théo Zimmermann | 2017-11-30 13:33:18 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-11-30 13:35:45 +0100 |
| commit | 03d7ff2f27b31bf2f7259064184b1b93f53d7998 (patch) | |
| tree | 9f49b70e72334217c2beb8245baa2bf40c5515c7 /kernel/type_errors.ml | |
| parent | ee45637ac2431fe2df1994f2337d8801e2aeff9a (diff) | |
Add merlin in the dependencies of nix-shell only.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions