changeset 104:e2ce05e21a55

Merge
author vemiya <valentin.emiya@inria.fr>
date Tue, 12 Apr 2011 16:11:41 +0200
parents 228ece3184c1 (current diff) 0e6a97a4c787 (diff)
children 298fa66fe344
files bugs.m
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/bugs.m	Tue Apr 12 16:09:46 2011 +0200
+++ b/bugs.m	Tue Apr 12 16:11:41 2011 +0200
@@ -1,3 +1,5 @@
+% MDP: File "COPYING" is not included in the distribution?
+
 % I encountered an error while running SMALL_solver_test_Audio :
 
 %??? Error using ==>