diff options
| author | Maxime Dénès | 2018-08-16 15:46:28 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-08-16 15:46:28 +0200 |
| commit | 07c25cfaea5f4f97f2a763a58ce80207a948365c (patch) | |
| tree | 6800da287a5dbac874b499161547e55523be1ac0 /kernel/cbytecodes.ml | |
| parent | 923eeef090d93eb903c59f83fb7c0b69204bdc02 (diff) | |
| parent | 5b8c6b8c2cad1f9bb7517a73fa732c4a50e10a8e (diff) | |
Merge PR #8109: [doc] Fix grammar of goal selectors.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions