changeset 542 | 69bde1d90c04 |
child 563 | 9732e5fa423c |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/hugo/Makefile.am Thu May 06 13:48:04 2004 +0000 1.3 @@ -0,0 +1,12 @@ 1.4 +pkginclude_HEADERS = \ 1.5 + bin_heap.h \ 1.6 + dijkstra.h \ 1.7 + dimacs.h \ 1.8 + error.h \ 1.9 + fib_heap.h \ 1.10 + invalid.h \ 1.11 + maps.h \ 1.12 + smart_graph.h \ 1.13 + time_measure.h \ 1.14 + unionfind.h \ 1.15 + xy.h