Fix README_DEVELOPERS tool executable in debugging instruction examples.
commit5aeb970dc247c7573aca7f62bcca54328d9e6464
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sun, 18 Aug 2019 22:26:18 +0000 (19 00:26 +0200)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sun, 18 Aug 2019 22:26:18 +0000 (19 00:26 +0200)
treef3cb922df8d4f5f66462e47609403cb90a7778de
parent4b39d3343762c53419cf16118c74e0004f900e32
Fix README_DEVELOPERS tool executable in debugging instruction examples.
README_DEVELOPERS