joerg 26c60c3053 Missing system header.		2017-08-25 20:03:03 +00:00
..
patches	Missing system header.	2017-08-25 20:03:03 +00:00
DESCR
distinfo	Missing system header.	2017-08-25 20:03:03 +00:00
Makefile	Work around TeXmacs build system so it looks for guile in the place	2016-09-16 09:42:25 +00:00
PLIST	Update TeXmacs to 1.99.5.	2016-07-16 21:13:22 +00:00