diff options
author | Son Ho | 2024-03-11 09:42:03 +0100 |
---|---|---|
committer | Son Ho | 2024-03-11 09:42:03 +0100 |
commit | 459a6e1297695c534e06f20cb53a19b3b576e588 (patch) | |
tree | c2c262bd86140a155fd1b082e1bc0e631f21cbac /tests/coq/_CoqProject.template | |
parent | bd6bd4158218c116cbb5a97a1ab8674175cdc773 (diff) |
Update a builtin name
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions