Joris van der Hoeven wrote:
On Thu, Mar 08, 2012 at 04:53:58PM +0100, Miguel de Benito Delgado wrote:Volunteers??You? --Joris
X-DDDDDD. Had it coming...Seriously though, even I had the time, I'd need help. Maybe we could discuss/advance it in some future workshop/meeting?
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
