wok-6.x view git/description.txt @ rev 22857

updated gmp and gmp-dev (6.1.2 -> 6.2.0)
author Hans-G?nter Theisgen
date Thu Feb 20 14:33:27 2020 +0100 (2020-02-20)
parents
children 2ba3c02cf43f
line source
1 Git is a free & open source, distributed version control system designed to
2 handle everything from small to very large projects with speed and efficiency.