From 35caa37a415eea5f8684c5f8a42dc6ce1be26771 Mon Sep 17 00:00:00 2001 From: Yanko Kaneti Date: Tue, 9 Oct 2012 17:55:47 +0300 Subject: [PATCH] New sources again.. --- sources | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sources b/sources index f158523..0ad93a7 100644 --- a/sources +++ b/sources @@ -1 +1,4 @@ +d8788262ad56f21438a8eb78c0afc5d7 gl-manpages-1.1-20121009.tar.xz d66fd4a92910731c19327af50dd15e77 make-gl-man-snapshot.sh +d5e8926fa467c9e1bad59de24206bcbe mathml2.tgz +bbf92a1d88ce217d736c222470d6811c dbmathml.dtd