diff admin/notes/BRANCH @ 73549:e68d05a41cab

* make-dist: Add makefile.w32-in to the man, lispref and lispintro directories.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 30 Oct 2006 14:20:47 +0000
parents 7dd2d0d806e8
children b2b85b22b20e 8080c98e919f
line wrap: on
line diff