From f9453185dfa6e9035aeeb90db5bd4bc0532d1f54 Mon Sep 17 00:00:00 2001 From: "Martin A. Brown" Date: Tue, 23 Feb 2016 09:44:12 -0800 Subject: [PATCH] deleting unnecessary platform.py file --- tldp/platform.py | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 tldp/platform.py diff --git a/tldp/platform.py b/tldp/platform.py deleted file mode 100644 index 67afeac..0000000 --- a/tldp/platform.py +++ /dev/null @@ -1,24 +0,0 @@ -#! /usr/bin/python -# -*- coding: utf8 -*- - -from __future__ import absolute_import, division, print_function - -from .typeguesser import knowndoctypes -from .utils import logger, which - - -class Platform(object): - - def __init__(self, config): - for doctype in knowndoctypes: - for tool in doctype.tools: - loc = which(tool) - if loc is None: - logger.info("Missing tool %s, needed by %s (%s)", - tool, doctype.__name__, doctype.formatname) - else: - setattr(self, tool, loc) - - -# -# -- end of file