ports/openmpi
ports/openmpi
1
1
Форкнуть 0
Код Релизы Активность

Merge pull request #5787 from gpaulsen/v4.0.x

Просмотр исходного кода 
Updating VERSION to v4.0.0rc3
Этот коммит содержится в:
Geoff Paulsen 2018-09-26 20:06:44 -05:00 коммит произвёл GitHub
родитель ec2e6eb9b1 27f3262403
Коммит 2b471430af
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 1 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

2
VERSION
Просмотреть файл

@ -26,7 +26,7 @@ release=0
# requirement is that it must be entirely printable ASCII characters # requirement is that it must be entirely printable ASCII characters
# and have no white space. # and have no white space.
greek=rc2 greek=rc3
# If repo_rev is empty, then the repository version number will be # If repo_rev is empty, then the repository version number will be
# obtained during "make dist" via the "git describe --tags --always" # obtained during "make dist" via the "git describe --tags --always"