I'm not sure of why flexml generated a different flex file, but the content seems...

[simgrid.git] / tools / doxygen / index_create.pl

diff --git a/tools/doxygen/index_create.pl b/tools/doxygen/index_create.pl
index 4db929c..f9f58d2 100755 (executable)
Binary files a/tools/doxygen/index_create.pl and b/tools/doxygen/index_create.pl differ