aboutsummaryrefslogtreecommitdiff
path: root/doc/README.md
diff options
context:
space:
mode:
authorAlfredo Di Napoli <alfredo@well-typed.com>2021-01-19 08:00:40 +0100
committerAlfredo Di Napoli <alfredo@well-typed.com>2021-02-01 08:05:35 +0100
commita917dfd29f3103b69378138477514cbfa38558a9 (patch)
tree72aeea4a5dd8b1d7f1d1b1911ad8d099a066ddd7 /doc/README.md
parent1bdbf284b4ba20ee1738b13c4e3414384955f6f3 (diff)
Rename pprLogErrMsg to new name
Diffstat (limited to 'doc/README.md')
0 files changed, 0 insertions, 0 deletions