Arcensoth

#!/usr/bin/env python3
#
# gif2mp4.py
# Bulk convert a folder of GIFs into MP4s
#
# Requirements:
# - Python 3.8+
# - pip install MoviePy
#
# Usage: