diff options
author | Claudio André <claudioandre.br@gmail.com> | 2018-05-12 13:00:29 -0300 |
---|---|---|
committer | Claudio André <claudioandre.br@gmail.com> | 2018-05-13 17:03:26 -0300 |
commit | 9460babd1e54d1e977b62d59e0e1177c34721615 (patch) | |
tree | 6ce610aa3fc5e7fa5fb16c077b1aa096192bb5d7 /panels/region/input-chooser.ui | |
parent | 66668676fcb2cd95422b6da734e7b96b5e36ce3a (diff) | |
download | gnome-control-center-9460babd1e54d1e977b62d59e0e1177c34721615.tar.gz |
CI: use an updated Docker image
We value repeatability and reproducibility; that said, we need to use a
fresh Fedora. So, pick an image that is updated every week.
Diffstat (limited to 'panels/region/input-chooser.ui')
0 files changed, 0 insertions, 0 deletions