wok diff discount-dev/receipt @ rev 23710
updated ubuntu-font-family (0.80 -> 0.83)
author | Hans-G?nter Theisgen |
---|---|
date | Tue Apr 28 17:22:54 2020 +0100 (2020-04-28) |
parents | fb8526ee16f5 |
children | 8cd7415960ec |
author | Hans-G?nter Theisgen |
---|---|
date | Tue Apr 28 17:22:54 2020 +0100 (2020-04-28) |
parents | fb8526ee16f5 |
children | 8cd7415960ec |