diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2010-11-11 21:29:04 +0100 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2010-11-11 21:29:04 +0100 |
| commit | b190e58905738aad7360936a92ffdabbca95d160 (patch) | |
| tree | 3ad8f3a1d35d3e24bf7d6c6aff06ce79f0f4c6c4 /inc/pluginutils.php | |
| parent | 8cf5aee5bbf192bf6408088a6d2f497a2087105d (diff) | |
| download | rpg-b190e58905738aad7360936a92ffdabbca95d160.tar.gz rpg-b190e58905738aad7360936a92ffdabbca95d160.tar.bz2 | |
maintain the list of removed files in the repository
this is mainly for use with plugin:upgrade and thus will be
cherrypicked into the current stable branch as well.
Diffstat (limited to 'inc/pluginutils.php')
0 files changed, 0 insertions, 0 deletions