diff admin/build-configs @ 55841:d10ff2411271

(../info/flymake, flymake.dvi): New targets. (INFO_TARGETS, DVI_TARGETS): Add Flymake.
author Juanma Barranquero <lekktu@gmail.com>
date Sat, 29 May 2004 18:54:25 +0000
parents 695cf19ef79e
children c53a9463c31a 375f2633d815
line wrap: on
line diff