diff .hgignore @ 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 12d1475b48df
children e6cc4d4f5a81
line wrap: on
line diff