diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-17 19:33:56 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-26 19:31:30 +0200 |
commit | d500a684be14b0c781ea4cda0ee02d3c5cdcad81 (patch) | |
tree | c29675a70ed7b67dfaca2766cf24be75eb121186 /printing | |
parent | ff0fea7a07d85342586f65d68e9fdee0ff0c3d74 (diff) |
Using msg_info for info_auto and info_eauto (PR #324).
Diffstat (limited to 'printing')
0 files changed, 0 insertions, 0 deletions