[cleanup] Mark unused files

pull/379/head
pukkandan 3 years ago
parent cc52de4356
commit 9d83ad93d0
No known key found for this signature in database
GPG Key ID: 0F00D95A001F4698

@ -1,3 +1,5 @@
# UNUSED
#!/usr/bin/python3
import argparse

@ -1,4 +1,5 @@
# Unused
#!/bin/bash
# IMPORTANT: the following assumptions are made

@ -1,3 +1,5 @@
# UNUSED
#!/bin/bash
# Run with as parameter a setup.py that works in the current directory

@ -1,5 +1,4 @@
#!/usr/bin/env python3
from __future__ import unicode_literals
# Allow direct execution

Loading…
Cancel
Save