| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-Makefile | 5145 | logstatsplainblame |
| -rw-r--r-- | patch-doc-Makefile.doc | 1843 | logstatsplainblame |
| -rw-r--r-- | patch-etc_desktop_proofgeneral.desktop | 400 | logstatsplainblame |
| -rw-r--r-- | patch-isar-interface | 270 | logstatsplainblame |
| -rw-r--r-- | pkg-message.in | 476 | logstatsplainblame |
 |
index : freebsd-ports-gnome | |
| FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome) |
| aboutsummaryrefslogtreecommitdiffstats |