Michael Brown de1fafd2f8 [errdb] Strip platform error code for non-platform-generated errors vor 11 Jahren
..
.gitignore [errdb] Add errdb.pl script to build error database vor 14 Jahren
errdb.pl [errdb] Strip platform error code for non-platform-generated errors vor 11 Jahren