# HG changeset patch
# User vemiya <valentin.emiya@inria.fr>
# Date 1302617501 -7200
# Node ID e2ce05e21a55606fc503adc99f26883efaaea8e8
# Parent  228ece3184c13d02f71f3183577c43679b77930f# Parent  0e6a97a4c78737ffb070295b17729d6f83a7c0ff
Merge

diff -r 228ece3184c1 -r e2ce05e21a55 bugs.m
--- 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 ==>