diff options
author | deva <deva> | 2008-06-09 13:48:24 +0000 |
---|---|---|
committer | deva <deva> | 2008-06-09 13:48:24 +0000 |
commit | bce7808fecc65d56b695be03f6b39fed51589562 (patch) | |
tree | 19b605d7a3cda82a31af6229871a8537c07ab4d9 /design/widgets/spacer.tex | |
parent | 775021103ccd27d8be5aa92cc3cd21ce6c547c48 (diff) |
Added xml encoding of the lua programs to make sure they are not interrupting the xml. Missing files.
Diffstat (limited to 'design/widgets/spacer.tex')
0 files changed, 0 insertions, 0 deletions