| Mode | Name | Size | |
|---|---|---|---|
| d--------- | crisp | 122 | logplain |
| d--------- | factint | 124 | logplain |
| d--------- | fga | 120 | logplain |
| d--------- | gapdoc | 123 | logplain |
| -rw-r--r-- | metadata.xml | 310 | logplain |
| d--------- | primgrp | 124 | logplain |
| d--------- | smallgrp | 125 | logplain |
| d--------- | transgrp | 157 | logplain |
GitWeb