wok diff openmotif-man/receipt @ rev 24533
updated f3 (7.2 -> 8.0)
author | Hans-G?nter Theisgen |
---|---|
date | Wed Feb 23 11:14:10 2022 +0100 (2022-02-23) |
parents | 9eb4a7f42423 |
children |
author | Hans-G?nter Theisgen |
---|---|
date | Wed Feb 23 11:14:10 2022 +0100 (2022-02-23) |
parents | 9eb4a7f42423 |
children |