| commit | 2c09405b82048b1cd4b0cb5e956ac96a93aa67d1 | |
| author | Pieter de Bie <pdebie@ai.rug.nl> | |
| Sun, 19 Oct 2008 12:19:15 +0000 (19 14:19 +0200) | ||
| committer | Pieter de Bie <pdebie@ai.rug.nl> | |
| Sun, 19 Oct 2008 12:19:15 +0000 (19 14:19 +0200) | ||
| tree | aebabb910c5a6b5c9cf625f1a49135d5f8e9a25e | treesnapshot (tar.gz zip) |
| parent | 8efc2b0a8caf67d1b2a1bed059f784ce39472b9e | commitdiff |
UserManual: Remove leftover files
We don't need these files anymore, as we can just use the stylesheets
from the main site.
We don't need these files anymore, as we can just use the stylesheets
from the main site.
18 files changed:
