diff options
| author | coqbot-app[bot] | 2020-12-03 20:03:53 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-03 20:03:53 +0000 |
| commit | 88f23b3095c223966352b7d8c2d9990250f0c640 (patch) | |
| tree | 24b25adda4ebac6e0c2b323c9924cf3b9257310a /kernel/vmlambda.ml | |
| parent | 632b960ada4392ddd8be6f2e49caab46b93c022f (diff) | |
| parent | 065913e830ea7b01a500c523c47dcbcdab980b72 (diff) | |
Merge PR #13546: [coqide] fix procedure to parse arguments
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/vmlambda.ml')
0 files changed, 0 insertions, 0 deletions