Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | mysql-workbench-5.2.17-as-needed-modules.patch | 817 | logplain |
-rw-r--r-- | mysql-workbench-5.2.17-python-libs.patch | 853 | logplain |
index : repo/gentoo/historical.git | ||
Gentoo ebuild repository HISTORICAL read-only tree | Infrastructure team <infrastructure@gentoo.org> |
summaryrefslogtreecommitdiff |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | mysql-workbench-5.2.17-as-needed-modules.patch | 817 | logplain |
-rw-r--r-- | mysql-workbench-5.2.17-python-libs.patch | 853 | logplain |