diff src/s/ptx.h @ 11407:5e814474c4a8

(top_distclean): Delete config.cache.
author Richard M. Stallman <rms@gnu.org>
date Thu, 13 Apr 1995 04:56:20 +0000
parents d62a9fd47cb2
children c3611dff7bba
line wrap: on
line diff