Rename all `aux` files and directories

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

51 stars 30 forks source link

Closed sockmaster27 closed 8 months ago

sockmaster27 commented 8 months ago

aux and aux.* are reserved names on Windows systems, meaning that the repository could previously not even be cloned to a Windows machine.

All tests appear to be passing.

jacopol commented 8 months ago

I cannot test it right now, but will merge this in.