diff options
author | Rogan Creswick <creswick@galois.com> | 2012-03-31 08:08:11 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@galois.com> | 2012-03-31 08:08:11 -0700 |
commit | ec532e93339a942a395829ec87f427852cd72e00 (patch) | |
tree | f6ad13ca7f90f26fda9bc23e428ee367f153e3d2 /tools/addon-sdk-1.3/python-lib/cuddlefish/util.py | |
parent | 780bf48de85215f5b0b6fde0df40599ac6f9c037 (diff) |
removed older addon-sdks from tools
Diffstat (limited to 'tools/addon-sdk-1.3/python-lib/cuddlefish/util.py')
-rw-r--r-- | tools/addon-sdk-1.3/python-lib/cuddlefish/util.py | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/tools/addon-sdk-1.3/python-lib/cuddlefish/util.py b/tools/addon-sdk-1.3/python-lib/cuddlefish/util.py deleted file mode 100644 index b3d1ec1..0000000 --- a/tools/addon-sdk-1.3/python-lib/cuddlefish/util.py +++ /dev/null @@ -1,19 +0,0 @@ - -IGNORED_FILE_PREFIXES = ["."] -IGNORED_FILE_SUFFIXES = ["~", ".swp"] -IGNORED_DIRS = [".git", ".svn", ".hg"] - -def filter_filenames(filenames, ignored_files=[".hgignore"]): - for filename in filenames: - if filename in ignored_files: - continue - if any([filename.startswith(suffix) - for suffix in IGNORED_FILE_PREFIXES]): - continue - if any([filename.endswith(suffix) - for suffix in IGNORED_FILE_SUFFIXES]): - continue - yield filename - -def filter_dirnames(dirnames): - return [dirname for dirname in dirnames if dirname not in IGNORED_DIRS] |