diff options
author | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2006-04-28 05:16:24 +0000 |
---|---|---|
committer | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2006-04-28 05:16:24 +0000 |
commit | 188d7c19612d03830d1d996bc3d7bbd84e00e857 (patch) | |
tree | d1e79f9cd6a28b43012aaa47e45e5209540b4e0d /debian/changelog | |
parent | 0908c4f678ba568739dcd319981f1340fd2ff389 (diff) |
two notify bug fixes:
- run it after refreshing so that all the page info is current
- convert filenames into page names before checking against glob
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions