COPYING
changeset 12243 8a6a40f2e3dc
parent 10108 c68cf030eded