Name Last modified Size Description![[PARENTDIR]](/spicons/back.gif)
Parent Directory -
![[ ]](/icons/text.png){kind=icon}
getarchname 2018-08-26 18:55 109
getkey 2018-08-26 18:56 120
getprefix 2018-08-26 18:56 107
install 2018-08-26 18:57 127
langlist 2018-08-16 18:30 91
list_available 2018-08-26 18:58 152
list_installed 2018-08-26 18:58 126
magic_status 2018-08-26 18:59 110
pre_run 2018-08-26 18:59 105
search 2018-08-26 18:59 152
setup 2018-08-26 19:00 103
uninstall 2018-08-26 19:00 128
update 2018-08-26 19:01 126