Parent Directory | Revision Log | Patch
revision 1.22 by yminsky, Sat Nov 29 14:25:51 2003 UTC | revision 1.23 by yminsky, Tue Dec 2 10:23:52 2003 UTC | |
---|---|---|
# | Line 35 let (|=) map key = Map.find key map | Line 35 let (|=) map key = Map.find key map |
35 | (** filters applied to all incoming keys *) | (** filters applied to all incoming keys *) |
36 | let enforced_filters = ["yminsky.dedup"] | let enforced_filters = ["yminsky.dedup"] |
37 | ||
38 | let version_tuple = (1,0,5) | let version_tuple = (1,0,6) |
39 | let compatible_version_tuple = (0,1,5) | let compatible_version_tuple = (0,1,5) |
40 | let version = | let version = |
41 | let (maj_version,min_version,release) = version_tuple in | let (maj_version,min_version,release) = version_tuple in |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |