COPYING
changeset 12224 072ece492a65
parent 10108 c68cf030eded