../ patches/ 05-Jul-2021 18:58 - source/ 21-Dec-2018 11:02 - upstream/ 15-Oct-2020 17:29 - changelog 06-Feb-2023 12:15 4019 clean 21-Dec-2018 11:02 9 control 06-Feb-2023 12:15 1245 copyright 06-Feb-2023 12:15 1833 docs 19-Aug-2022 07:29 10 install 05-Jun-2019 12:07 74 manpages 03-Jan-2019 05:54 22 olive-editor.1 03-Jan-2019 05:54 388 olive-editor.desktop 03-Jan-2019 05:54 416 rules 05-Jun-2019 12:05 582 watch 15-Oct-2020 17:26 199