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