Alexandre Duret-Lutz bcd88df0fe python: rename aux.py to aux_.py ... Fixes #437, reporeted by Yann Thierry-Mieg. * python/spot/aux.py: Rename as... * python/spot/aux_.py: ... this. * python/spot/__init__.py, python/Makefile.am: Adjust. * NEWS: Mention the change.		2020-11-08 14:11:37 +01:00
..
spot	python: rename aux.py to aux_.py	2020-11-08 14:11:37 +01:00
.gitignore	remove more references to the old cgi-based translator	2018-08-28 20:48:44 +02:00
buddy.i	* python/buddy.i: Add a hash function for BDDs.	2016-03-01 10:10:01 +01:00
Makefile.am	python: rename aux.py to aux_.py	2020-11-08 14:11:37 +01:00