patches
|
somebody forgot to cvs rm a patch, obviously
|
2018-07-17 04:30:14 +00:00 |
pkg
|
Update to texmaker 5.0.2
|
2018-07-15 23:09:43 +00:00 |
distinfo
|
Update to texmaker 5.0.2
|
2018-07-15 23:09:43 +00:00 |
Makefile
|
Remove shadchin@ as maintainer per his request
|
2019-05-13 19:03:51 +00:00 |