comparison make-dist @ 36334:86322cde2e42

(Recognize Coding): Remove doubled `or'.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 23 Feb 2001 12:46:54 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
comparison
equal deleted inserted replaced
36333:a0141ceb7edc 36334:86322cde2e42