wok view fossil/description.txt @ rev 25020

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author Hans-G?nter Theisgen
date Wed May 18 08:05:48 2022 +0100 (2022-05-18)
parents 80f721de4db7
children
line source
1 Fossil is a simple, high-reliability, distributed software
2 configuration management system.