Skip to content

Rename VERSION to VERSION.txt#7163

Closed
isuruf wants to merge 3 commits intoopen-mpi:masterfrom
isuruf:version-header
Closed

Rename VERSION to VERSION.txt#7163
isuruf wants to merge 3 commits intoopen-mpi:masterfrom
isuruf:version-header

Commits

Commits on Nov 14, 2019