| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 11 | logstatsplain |
| -rw-r--r-- | coco-coq-LICENSE.fedora | 546 | logstatsplain |
| -rw-r--r-- | coco-coq-wrapper.sh | 50 | logstatsplain |
| -rw-r--r-- | coco-coq.desktop | 201 | logstatsplain |
| -rw-r--r-- | coco-coq.spec | 3199 | logstatsplain |
| -rw-r--r-- | coco-coq.xpm | 846 | logstatsplain |
| -rw-r--r-- | sources | 45 | logstatsplain |
 |
index : coco-coq.git | |
| coco-coq | Jesse Keating |
| summaryrefslogtreecommitdiffstats |