pr: remove IF_LINT
commit0ea9aacee9e8e69f9cfa62a4f4d26a6b75154bb4
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 31 Jan 2022 16:42:07 +0000 (31 08:42 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 31 Jan 2022 20:07:39 +0000 (31 12:07 -0800)
tree432af84adc227f91a89b829a4812ec1e93fd7765
parent10ded12481ec6db49c3f01859f18a63fbd2cfa2b
pr: remove IF_LINT

* src/pr.c (read_line): Remove a no-longer-needed IF_LINT.
src/pr.c