Fix dbg_mlc.c/o file name in documentation
authorIvan Maidanski <ivmai@mail.ru>
Tue, 27 Feb 2018 21:35:19 +0000 (00:35 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 27 Feb 2018 21:35:19 +0000 (00:35 +0300)
commit69fc6cfbbaddc316662f8de9843abfbff2fdbe2a
tree9e1eb3a0f778d82ee84da34b4e50ab69f1996b8d
parentf9c5815c132223139fc348166d861403e2196f47
Fix dbg_mlc.c/o file name in documentation

* README.md (Debugging Facilities): Fix file name ("dbg_mlc.c").
* misc.c (GC_debugging_started): Fix file name ("dbg_mlc.o") in
comment.
README.md
misc.c