Thomas Cort 6a0aa6fb5e mined.h: remove irrlevant comment. ...

It used to refer to several NIL_* definitions. Those were removed
in commit 6e25ad8b0a5606fc9351824adf9034d2ef7f7293 leaving the
comment with nothing to comment on.

Change-Id: I52221ae5d2c5216e82391b480cf2038ad723b8f0

2015-03-24 14:03:02 +01:00

..

Makefile

New sources layout

2014-07-31 16:00:30 +02:00

mined1.c

New sources layout

2014-07-31 16:00:30 +02:00

mined2.c

New sources layout

2014-07-31 16:00:30 +02:00

mined.h

mined.h: remove irrlevant comment.

2015-03-24 14:03:02 +01:00