Resolve "update displayed version for tool diffusion"

Closes #12 (closed)

added 1 commit

• e71fbb4c - version is a6 31/05/2019

Compare with previous version

By Dominique Marcadet on 2019-05-31T10:38:06 (imported from GitLab project)

unmarked as a Work In Progress

By Dominique Marcadet on 2019-05-31T10:38:22 (imported from GitLab project)

mentioned in commit b76daadb

By Dominique Marcadet on 2019-05-31T10:38:47 (imported from GitLab project)

merged

By Dominique Marcadet on 2019-05-31T10:38:47 (imported from GitLab project)