Skip to content

Commit ac75ab9

Browse files
committed
Update README.md
1 parent 20b7c9f commit ac75ab9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# OPAM website
2-
32
[![Join the chat at https://gitter.im/clarus/coq-opam-website](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/clarus/coq-opam-website?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
3+
44
Generation of the Coq website for OPAM.
55

66
## Run

0 commit comments

Comments
 (0)