diff options
| author | Vincent Laporte | 2020-01-15 10:48:47 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2020-01-15 10:48:47 +0100 |
| commit | c8d2da3db29ada93ed46a68dd789ccf16f22401c (patch) | |
| tree | cdbb6e7637137879f956c00cf9b9f382e0e76752 /kernel/nativecode.ml | |
| parent | e69931170d2b460c30be1f54bb94043c0c001272 (diff) | |
[Nix] Fix setup hook when COQPATH is not bound
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions