[freefem++] restore accidentally deleted source line

[Dominik Mierzejewski]

commit 2d970f025da805d7df369f0e8471c87069bc658e
Author: Dominik Mierzejewski <rpm at greysector.net>
Date:   Sat Jul 14 01:04:18 2012 +0200

    restore accidentally deleted source line

 sources |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/sources b/sources
index b24939c..c62bc48 100644
--- a/sources
+++ b/sources
@@ -1 +1,2 @@
+f1accc292794bbafb66e963080f9d15b  FreeFem++.1
 74c09591d35ffc7d50de6cd820ebad01  freefem++-3.19-1.tar.gz