comparison src/m/stride.h @ 54200:b0293635c42b

* man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use $(DEL) instead of rm, and ignore exit code. * lispintro/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use $(DEL) instead of rm, and ignore exit code. * lispref/makefile.w32-in (clean, maintainer-clean): Use $(DEL) instead of rm, and ignore exit code.
author Juanma Barranquero <lekktu@gmail.com>
date Sun, 29 Feb 2004 20:28:11 +0000
parents 695cf19ef79e
children 23a17af379b1 375f2633d815
comparison
equal deleted inserted replaced
54199:beeef4db908a 54200:b0293635c42b