wok view mysql/stuff/mysql-dev.files-list @ 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 | 91e8a40cf500 |
| children |
line source
1 /usr/bin/mysql_config