diff etc/compilation.txt @ 112143:07c4df54f7b7

notes/copyright: Report status more accurately for non-GPL files.
author Paul Eggert <eggert@cs.ucla.edu>
date Fri, 07 Jan 2011 11:26:23 -0800
parents 6994dcd2f3fa
children 85f869bc6e5c
line wrap: on
line diff