Merge pull request #1714 from gennadiycivil/master
Formatting tweaks, no functionality changes
GitHub <noreply@github.com> | Aug 8 2018, 21:47 |
• trottet | Dec 4 2019, 13:52 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
541eeb4b40fa | Gennadiy Civil/GitHub | Merge branch 'master' into master | Aug 8 2018 | |||
00fc0d24d165 | Gennadiy Civil | Formatting tweaks, no functionality changes | Aug 8 2018 |