fixed icon and desktop file

2015-11-13 16:06:17 +00:00
parent ba7e547082
commit e4416881d3
7 changed files with 121 additions and 38 deletions
--- a/10
+++ b/10
@@ -1,3 +1,13 @@
+2015-11-11 12:45  marc
+
+	* ChangeLog, README, bootstrap.sh, resolve-debbuilddeps.sh,
+	  scripts/bootstrap.sh, scripts/test, scripts/test/runtests.sh,
+	  sql-to-dot.sed: updated
+
+2015-11-10 15:52  marc
+
+	* scripts/sql-to-dot.sed: making it more robust
+
 2015-11-09 15:13  marc

 	* scripts/bootstrap.sh, scripts/resolve-debbuilddeps.sh,