diff core/portmanager.lua @ 8592:bd4f8a2b72c7

Rename Makefile -> GNUmakefile to reflect dependency on GNU Make
author Kim Alvefur <zash@zash.se>
date Tue, 31 Oct 2017 17:28:23 +0100
parents 4f0f5b49bb03
children e487197ba8a5 240d3f1f7dee
line wrap: on
line diff