| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COPYRIGHT | 1146 | logplain |
| -rw-r--r-- | ChangeLog | 200623 | logplain |
| -rw-r--r-- | README | 2368 | logplain |
| -rw-r--r-- | README.vms | 415 | logplain |
| -rw-r--r-- | RELEASE-DATE | 9 | logplain |
| -rw-r--r-- | TODO | 433 | logplain |
| -rw-r--r-- | VERSION | 6 | logplain |
| d--------- | html | 2185 | logplain |
 |
index : graph-coloring.git | |
| A game involving graph colorings. | root |
| summaryrefslogtreecommitdiff |