| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | compile | 6872 | logplain |
| -rw-r--r-- | config.guess | 44525 | logplain |
| -rw-r--r-- | config.sub | 35370 | logplain |
| -rw-r--r-- | depcomp | 18615 | logplain |
| -rw-r--r-- | install-sh | 13998 | logplain |
| -rw-r--r-- | ltmain.sh | 283474 | logplain |
| -rw-r--r-- | missing | 11419 | logplain |
 |
index : graph-coloring.git | |
| A game involving graph colorings. | root |
| summaryrefslogtreecommitdiff |