diff options
| author | greggameplayer <33609333+greggameplayer@users.noreply.github.com> | 2018-05-18 23:28:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-18 23:28:30 +0200 |
| commit | e35cfc1b039abedd3ded7de66da8361c39e75c28 (patch) | |
| tree | bc810f2016c761d93f5ca055486bdb1d09fbfafa /src/common/microprofileui.h | |
| parent | 1b5c02fc37206bbd33715d2dde6258c3f835581c (diff) | |
Properly rename fatal module functions
Diffstat (limited to 'src/common/microprofileui.h')
0 files changed, 0 insertions, 0 deletions