improve formatting of references

This commit is contained in:
Michel Lebeau 2019-05-29 12:53:54 +01:00 committed by GitHub
parent 3bd21a3a18
commit 919d3bb46e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23