Index of /peppermintos/p10-release/ubuntu/pool/main/p/peppermint-settings-panel
Name
Last modified
Size
Description
Parent Directory
-
peppermint-settings-panel_10.0.0.0.dsc
2019-05-03 16:48
1.1K
peppermint-settings-panel_10.0.0.0.tar.gz
2019-05-03 16:48
27K
peppermint-settings-panel_10.0.0.0_all.deb
2019-05-03 16:48
27K
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}