Skip to content

Commit 62b35fc

Browse files
mattam82mattam82
committed
Fix comments
1 parent 3f0d2e4 commit 62b35fc

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

‎doc/common/styles/html/coqremote/footer.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11

22
<!-- ************************
3-
START STDLIB FOOTER
3+
START CORELIB FOOTER
44
************************* -->
55
</div>
66
</div>

‎doc/common/styles/html/coqremote/header.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -257,5 +257,5 @@
257257
<div class="container-fluid dark:text-dark-content prose pt-10 stdlib text-content">
258258

259259
<!-- ************************
260-
END STDLIB HEADER
260+
END CORELIB HEADER
261261
************************* -->

0 commit comments

Comments
 (0)