From b13d447d93e8593264adc5233338d889bb4477c9 Mon Sep 17 00:00:00 2001 From: attardi Date: Wed, 22 Jul 2020 15:03:20 +0200 Subject: [PATCH] Removed scripts directory. --- scripts/WikiExtractor.py => WikiExtractor.py | 3 ++- scripts/extractPage.py => extractPage.py | 0 scripts/__init__.py | 0 3 files changed, 2 insertions(+), 1 deletion(-) rename scripts/WikiExtractor.py => WikiExtractor.py (99%) rename scripts/extractPage.py => extractPage.py (100%) delete mode 100644 scripts/__init__.py diff --git a/scripts/WikiExtractor.py b/WikiExtractor.py similarity index 99% rename from scripts/WikiExtractor.py rename to WikiExtractor.py index 977ed79..ed90537 100755 --- a/scripts/WikiExtractor.py +++ b/WikiExtractor.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # -*- coding: utf-8 -*- # ============================================================================= @@ -14,6 +14,7 @@ # Pedro Assis (pedroh2306@gmail.com) # Wim Muskee (wimmuskee@gmail.com) # Radics Geza (radicsge@gmail.com) +# Nick Ulven (nulven@github) # # ============================================================================= # Copyright (c) 2009-2020. Giuseppe Attardi (attardi@di.unipi.it). diff --git a/scripts/extractPage.py b/extractPage.py similarity index 100% rename from scripts/extractPage.py rename to extractPage.py diff --git a/scripts/__init__.py b/scripts/__init__.py deleted file mode 100644 index e69de29..0000000