error.h: Clarify difference between para_errlist[] and DEFINE_PARA_ERRLIST.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 30 Sep 2018 21:25:36 +0000 (23:25 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 25 Dec 2018 18:30:50 +0000 (19:30 +0100)
commit550d8e7098d76dc2cfe050401ed28b3e4c69bf87
tree19ee1d6dd661fdcd192c065cf8c357d17ed5edf8
parent4643fd6eeee81acc0e82e47e7895a3111775bbba
error.h: Clarify difference between para_errlist[] and DEFINE_PARA_ERRLIST.
error.h