COPYING
changeset 14227 1d678dee55d1
parent 10108 c68cf030eded