Mercurial > gui
diff forms.urs @ 20:554e342665fe
Add a new parameter to Gui.gui
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 24 Sep 2011 15:47:00 -0400 |
parents | 1e04008eaef7 |
children | 5905b56e0cd9 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 24 Sep 2011 15:47:00 -0400 |
parents | 1e04008eaef7 |
children | 5905b56e0cd9 |