Paul Bakaus 93b8dc8b9d build: theming tab for documentation now creates a placeholder (%%THEMING%%) that can be easily replaced

2009-01-23 19:27:16 +00:00

..

build

build: theming tab for documentation now creates a placeholder (%%THEMING%%) that can be easily replaced

2009-01-23 19:27:16 +00:00

build.xml

Merged remove-spaces target (ui/build.xml) into new whitespace target (build/build.xml). Deleted ui/build.xml

2009-01-22 13:09:18 +00:00