Diff

core/portmanager.lua @ 10405:e7f5735f19e1

util.startup: Disable plugin installer path creation for now (see comments)
author Kim Alvefur <zash@zash.se>
date Sat, 09 Nov 2019 00:26:56 +0100
parent 10107:1dbabbebb53c
child 10462:9af6ab2623b0
line wrap: on
line diff