4211: nodist-headers: Remove mln/fun/binary.hh from distribution.

--- milena/ChangeLog | 4 ++++ milena/nodist-headers | 1 + 2 files changed, 5 insertions(+), 0 deletions(-) diff --git a/milena/ChangeLog b/milena/ChangeLog index 59a4d76..dee69b2 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,5 +1,9 @@ 2009-06-29 Guillaume Lazzara <guillaume.lazzara@lrde.epita.fr> + * nodist-headers: Remove mln/fun/binary.hh from distribution. + +2009-06-29 Guillaume Lazzara <guillaume.lazzara@lrde.epita.fr> + First draft of region adjacency graph demo. * demos/graph/region_adjacency_graph.cc: new demo. diff --git a/milena/nodist-headers b/milena/nodist-headers index a168403..985b49f 100644 --- a/milena/nodist-headers +++ b/milena/nodist-headers @@ -14,6 +14,7 @@ mln/extract/sat.hh mln/fun/access/all.hh mln/fun/access/mean.hh mln/fun/accu_result.hh +mln/fun/binary.hh mln/fun/binary_param.hh mln/fun/component/blue.hh mln/fun/component/comp.hh -- 1.5.6.5
participants (1)
-
Guillaume Lazzara