comparison Makefile @ 3339:0e3c45a74683

ui.py: don't let parent and child ui objects share header and prev_header
author Alexis S. L. Carvalho <alexis@cecm.usp.br>
date Tue, 10 Oct 2006 18:43:20 -0300
parents c51fad25e59e
children 2ab464771b7d 1a7794525c2b
comparison
equal deleted inserted replaced
3338:1b6d0fa84e0d 3339:0e3c45a74683