diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-05-22 18:35:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-22 18:35:42 +0200 |
| commit | 43e843ac98f46d55e6427555e61caad0df74ae62 (patch) | |
| tree | e5e3c023a3ac6e5ce4a17529443cd77108b4e382 /editor/editor_properties.cpp | |
| parent | 846b3855b5b9deed1a4ba5587ef846641a759773 (diff) | |
| parent | 3bff838cee8947f7158fafa943618c5410f53dc3 (diff) | |
Merge pull request #48940 from omar-polo/add-openbsd
add OpenBSD to OS_LinuxBSD::get_name()
Diffstat (limited to 'editor/editor_properties.cpp')
0 files changed, 0 insertions, 0 deletions