|
distinfo
|
editors/gnome-latex: Update to 3.42.0
|
2022-11-09 21:00:39 -08:00 |
|
Makefile
|
editors/gnome-latex: Update to 3.42.0
|
2022-11-09 21:00:39 -08:00 |
|
pkg-descr
|
Remove WWW entries moved into port Makefiles
|
2022-09-07 23:58:51 +02:00 |
|
pkg-plist
|
editors/gnome-latex: Update to 3.42.0
|
2022-11-09 21:00:39 -08:00 |
