Removed scripts directory.

This commit is contained in:
attardi 2020-07-22 15:03:20 +02:00
parent 62bdbe6106
commit b13d447d93
3 changed files with 2 additions and 1 deletions

View File

@ -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).

View File