COPYING
changeset 12377 efa13b925cd8
parent 10108 c68cf030eded