diff options
| author | Mario Forzanini <mario.forzainin@studenti.unimi.it> | 2021-07-06 21:01:51 +0000 |
|---|---|---|
| committer | Mario Forzanini <mario.forzainin@studenti.unimi.it> | 2021-07-06 21:01:51 +0000 |
| commit | 52f3b18ca717d9b7d4859eec56f4c02be753335b (patch) | |
| tree | fb5d355799e5c2458a102af50b4df47bb094ddf5 /plugin%253fid%253d52f3b18ca717d9b7d4859eec56f4c02be753335b%3fid%3d52f3b18ca717d9b7d4859eec56f4c02be753335b?id=52f3b18ca717d9b7d4859eec56f4c02be753335b | |
| parent | eb90a66c07886690b66ef0cfdc0fcc4105d99bfc (diff) | |
Move related options on the same line.
Diffstat (limited to 'plugin%253fid%253d52f3b18ca717d9b7d4859eec56f4c02be753335b%3fid%3d52f3b18ca717d9b7d4859eec56f4c02be753335b?id=52f3b18ca717d9b7d4859eec56f4c02be753335b')
0 files changed, 0 insertions, 0 deletions