equal
deleted
inserted
replaced
397 ../src/hugo \ |
397 ../src/hugo \ |
398 ../src/hugo/skeletons \ |
398 ../src/hugo/skeletons \ |
399 ../src/work/alpar/list_graph.h \ |
399 ../src/work/alpar/list_graph.h \ |
400 ../src/work/athos/minlengthpaths.h \ |
400 ../src/work/athos/minlengthpaths.h \ |
401 ../src/work/klao/path.h \ |
401 ../src/work/klao/path.h \ |
402 ../src/work/marci/graph_wrapper.h \ |
|
403 ../src/work/jacint/max_flow.h |
402 ../src/work/jacint/max_flow.h |
404 |
403 |
405 # If the value of the INPUT tag contains directories, you can use the |
404 # If the value of the INPUT tag contains directories, you can use the |
406 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp |
405 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp |
407 # and *.h) to filter out the source-files in the directories. If left |
406 # and *.h) to filter out the source-files in the directories. If left |