]> Savannah Git Hosting - gnulib.git/commit
dfa: update commentary for previous change
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 11 Dec 2019 21:40:01 +0000 (13:40 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 11 Dec 2019 23:09:38 +0000 (15:09 -0800)
commit360cbd3b17a314807e808626e100ef47dcf4d162
tree2dc2500b8ba8a53e96f8cbc484ccf9898ea3de86
parentac92492294ca52fe2596f6353a3fe2800052f676
dfa: update commentary for previous change

* NEWS: Mention the change.
* lib/dfa.c, lib/dfa.h (dfaparse, dfamust, dfacomp): Update comments.
ChangeLog
NEWS
lib/dfa.c
lib/dfa.h