remove debug log

This commit is contained in:
Florian Dold 2020-08-06 22:17:16 +05:30
parent 100f4fc5fb
commit b3f0cf97e4
No known key found for this signature in database
GPG Key ID: D2E4F00F29D02A4B

View File

@ -211,7 +211,6 @@ export class Configuration {
}
lookupVariable(x: string, depth: number = 0): string | undefined {
console.log("looking up", x);
// We loop up options in PATHS in upper case, as option names
// are case insensitive
const val = (this.sectionMap["PATHS"] ?? {})[x.toUpperCase()];