diff options
| author | Son HO | 2024-05-24 14:16:37 +0200 |
|---|---|---|
| committer | GitHub | 2024-05-24 14:16:37 +0200 |
| commit | c6c9e351546a723e62cc21579b2359dba3bfb56f (patch) | |
| tree | 74ed652b8862d1dde24ccd65b6c29503ea3db35c /tests/coq/misc | |
| parent | e669de58b71fd68642cfacf1a2e3cbd1c5b2f4fe (diff) | |
| parent | 69ff150ede10b7d24f9777298e8ca3de163c33e1 (diff) | |
Merge pull request #175 from AeneasVerif/afromher/meta
Rename meta into span
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions