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

updated ecj (4.10 -> 4.14)
author Hans-G?nter Theisgen
date Fri Jan 24 10:35:46 2020 +0100 (2020-01-24)
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.