Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | TeXmacs.desktop | 268 | logplain |
-rw-r--r-- | texmacs-1.0.7.2-strip.patch | 710 | logplain |
-rw-r--r-- | texmacs-1.0.7.5-strip.patch | 710 | logplain |
-rw-r--r-- | texmacs-1.0.7.6-strip.patch | 710 | 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-- | TeXmacs.desktop | 268 | logplain |
-rw-r--r-- | texmacs-1.0.7.2-strip.patch | 710 | logplain |
-rw-r--r-- | texmacs-1.0.7.5-strip.patch | 710 | logplain |
-rw-r--r-- | texmacs-1.0.7.6-strip.patch | 710 | logplain |