Index of /distfiles/buildlogs/build-3-17-armv7/community/gedit-plugins/

../
gedit-plugins-42.1-r1.log                          29-Oct-2022 22:30    160K
gedit-plugins-43.1-r0.log                          05-Nov-2022 04:19    136K
gedit-plugins-43.1-r1.log                          16-Dec-2022 07:20    136K