diff options
| author | jvoisin | 2018-01-18 12:13:23 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-18 12:13:23 +0100 |
| commit | 0b36d6ab1d91cdfca0ddc686a8b2ed930505210d (patch) | |
| tree | 936dcf2efd5f2b1402d7c3646c8b94a6945e2bf8 /debian/changelog | |
| parent | 125964de68efbf70841f1ba2c5bfacd36fdf72b3 (diff) | |
Rename some leftovers .ini to .rulesv0.2.0
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions