summaryrefslogtreecommitdiffhomepage
path: root/forth.html.markdown
diff options
context:
space:
mode:
authordbenn <dbenn@computer.org>2021-03-13 14:39:37 +1030
committerGitHub <noreply@github.com>2021-03-13 14:39:37 +1030
commit160ecc8be8cdb79994a4c150927b2f4b1d164923 (patch)
tree3720f7541ee7fbcb8086f5e71ada8842b7cde5a1 /forth.html.markdown
parent5d2d1cf77c8f4e06c08da4657b152a2b2b06504f (diff)
[coq/en] remove extra "prove" from comment
Line 475 has an extra "prove" in a comment so removed it
Diffstat (limited to 'forth.html.markdown')
0 files changed, 0 insertions, 0 deletions