diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-19 18:12:27 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-19 18:14:26 +0200 |
commit | 50a574f8b3e7f29550d7abf600d92eb43e7f8ef6 (patch) | |
tree | fe31e7c529c914a1d7d42a77d9b60bdb390ff314 /kernel/term.mli | |
parent | b3b04d0a5c7c39140e2125321a17957ddcaf2b33 (diff) |
Categorizing debug messages as such + NonLogical uses loggers.
Diffstat (limited to 'kernel/term.mli')
0 files changed, 0 insertions, 0 deletions