diff options
author | Jacques-Pascal Deplaix <jp.deplaix@gmail.com> | 2018-01-15 15:55:18 +0000 |
---|---|---|
committer | Jacques-Pascal Deplaix <jp.deplaix@gmail.com> | 2018-01-15 16:22:19 +0000 |
commit | 6215d67fd1f94ccd25bb0059e7441ec529fc9ad8 (patch) | |
tree | 67b61720949b49dd9c0063821dc22b5f5fe7be3b /configure.ml | |
parent | 47ceedd5a6f726a58ee7b57c4d80ffd2e80549de (diff) |
Avoid shell backticks and improve md5sum.ml error messages
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions