changeset 1131 | 43a91b33f374 |
parent 1111 | c8fce9beb46a |
1.1 --- a/lemon/Makefile.am Fri Jan 20 19:08:00 2012 +0100 1.2 +++ b/lemon/Makefile.am Sun Jan 29 11:28:41 2012 +0100 1.3 @@ -138,6 +138,7 @@ 1.4 lemon/bits/enable_if.h \ 1.5 lemon/bits/graph_adaptor_extender.h \ 1.6 lemon/bits/graph_extender.h \ 1.7 + lemon/bits/lock.h \ 1.8 lemon/bits/map_extender.h \ 1.9 lemon/bits/path_dump.h \ 1.10 lemon/bits/solver_bits.h \