diff bugs.m @ 104:e2ce05e21a55

Merge
author vemiya <valentin.emiya@inria.fr>
date Tue, 12 Apr 2011 16:11:41 +0200
parents 228ece3184c1 0e6a97a4c787
children 298fa66fe344
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 ==>