[bdist_wheel]
# We support both Python 2 and Python 3
universal = 1

[metadata]
# Include the license file in wheels
license_file = LICENSE.txt
