]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
signal.h: Add documentation of signal_pre_select().
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 27 Dec 2016 01:01:55 +0000 (02:01 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 30 Dec 2016 14:23:22 +0000 (15:23 +0100)
It is a public function which should be annotated.


No differences found