diff options
| author | nzbr <mail@nzbr.de> | 2023-01-30 01:11:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-30 01:11:18 +0100 |
| commit | 0467c67f52f965c86f0e64d467a80827833c196d (patch) | |
| tree | e73de119fed888f809fd6a65f172cd05cbc3f575 /scripts/native-utils/src/split_path.rs | |
| parent | 8283b747caa2677abeb1d694da883191813ef428 (diff) | |
| parent | 0cc3a9eb0f58754c79adde45af112cbf3e3d85f8 (diff) | |
Merge pull request #204 from KoviRobi/user-name-different-from-user-attr-name
Default user name isn't necessarily the same as user attr name
Diffstat (limited to 'scripts/native-utils/src/split_path.rs')
0 files changed, 0 insertions, 0 deletions