diff options
| author | jvoisin | 2018-03-05 14:25:25 +0100 |
|---|---|---|
| committer | jvoisin | 2018-03-05 14:25:25 +0100 |
| commit | 309481168de02f2dee5a4266359d72866442f665 (patch) | |
| tree | ec87f191cb58bcf0dd02bf7478caa9f43b16ddf9 /debian/rules | |
| parent | 695f30817ecff47b5a556a79df2ba00fd8fd539e (diff) | |
Improve a bit the performances (+10%)
Diffstat (limited to 'debian/rules')
0 files changed, 0 insertions, 0 deletions