100644 blob 245ff0770f95ada9fa6a80ef11b31fbbd1d7f22f	Doxymini
100644 blob 5385f32cb7954cf3e245f15e7f1eccd43ef4fbc9	fdl.texi
100644 blob d667a360c93aa50340e3df32bc9438767da6abdf	fdlnotice.texi
100644 blob d26233c1fdee9c6f044800da049505449a5997d6	gpl.texi