explorer
|
Rename __select_editor to __sensible_editor
|
2019-10-04 14:45:14 +02:00 |
parameter
|
Rename __select_editor to __sensible_editor
|
2019-10-04 14:45:14 +02:00 |
man.rst
|
Rename __select_editor to __sensible_editor
|
2019-10-04 14:45:14 +02:00 |
manifest
|
Rename __select_editor to __sensible_editor
|
2019-10-04 14:45:14 +02:00 |