diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-04-10 00:07:27 +0200 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-04-10 00:07:27 +0200 |
| commit | d833247f099504e36c47286ad5abe4079a026ba1 (patch) | |
| tree | d7e502be9bea9e9571a5312524d53082542fa21b /data/rbot/plugins/games | |
| parent | 27cb79be57f9377d8c13dab2d7d0776e80dfd115 (diff) | |
plugins: mark priorities dirty on rescan
Diffstat (limited to 'data/rbot/plugins/games')
0 files changed, 0 insertions, 0 deletions