[unstable] #585: Added Key1::op< to define an order on keys.

This commit is contained in:
Andreas Huggel 2012-03-11 12:40:26 +00:00
parent a605aa6bde
commit 0100d1932b

Diff Content Not Available