More on EDITING SCRIPTS in l3gui(1).
commit2bd83356ccb00d88877a63a38529771c093f7de2
authorMichael Hohn <mhhohn@users.sourceforge.net>
Wed, 16 Apr 2008 19:10:17 +0000 (16 12:10 -0700)
committer=Michael Hohn <mhhohn@users.sourceforge.net>
Wed, 16 Apr 2008 19:10:17 +0000 (16 12:10 -0700)
treea3150afc426f3510ac58fc049e2b9b7df01b9836
parent5eec66f69ac17cb189ab67b6fb48c05dbf86380f
More on EDITING SCRIPTS in l3gui(1).
l3doc/l3gui.txt