diff options
| author | Joey Hess <joey@kitenet.net> | 2010-06-16 15:44:21 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2010-06-16 15:44:21 -0400 |
| commit | 2f3f826b5bf123886d4e65eb8bd709b12639ca8b (patch) | |
| tree | f09f5da0bf3e6cf8b66099dd156ca12094e46d9f /IkiWiki/UserInfo.pm | |
| parent | 062ed44f47d61c3bbbf2e8a7944a9b4e423b735a (diff) | |
force rebuild for theme change
For now, a rebuild is the only way to ensure the changed theme is used.
Ikiwiki normally will not realize style.css has changed, since themes
tend to have the same timestamp for the file.
Diffstat (limited to 'IkiWiki/UserInfo.pm')
0 files changed, 0 insertions, 0 deletions