COPYING
changeset 15107 80ff12edf5e6
parent 10108 c68cf030eded