diff configure @ 47661:025c490d435b

(cl-push, cl-pop): Remove. Use pop and push throughout the file instead.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 27 Sep 2002 22:19:22 +0000
parents ca6ea93e02f2
children abfcf5ec4ad2
line wrap: on
line diff