diff config.bat @ 11446:cee0510aa3aa

(get_doc_string): Add cast.
author Richard M. Stallman <rms@gnu.org>
date Fri, 14 Apr 1995 18:28:45 +0000
parents 9eae919f9a23
children 09c2ad9213dd
line wrap: on
line diff