wok view ninvaders/stuff/ninvaders.desktop @ rev 23265
updated openmpi and openmpi-dev (4.0.1 -> 4.0.3)
author | Hans-G?nter Theisgen |
---|---|
date | Fri Mar 27 11:26:47 2020 +0100 (2020-03-27) |
parents | 2d4bbd951583 |
children |
author | Hans-G?nter Theisgen |
---|---|
date | Fri Mar 27 11:26:47 2020 +0100 (2020-03-27) |
parents | 2d4bbd951583 |
children |