diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-08-16 03:21:28 +0200 |
|---|---|---|
| committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-08-16 03:26:47 +0200 |
| commit | 213ad45ccfdea964db1625a625f2261ddb3f6862 (patch) | |
| tree | 6dc74a1ee5dce9083e1991d6822b4344ea0824fc /.editorconfig | |
| parent | 603b262d9bfe757e4a009a80f1c80230d35512ba (diff) | |
Allow zero-padded serial naming
Thereby, the editor will acknowledge node namings such as _Thing003_ so that a duplicate, for instance, will be named _Thing004_, instead of _Thing4_, that was the case formerly.
Closes #7758.
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions