COPYING
changeset 12271 d50523b2eae8
parent 10108 c68cf030eded