On 31/07/2016 22:18, Nicolas Braud-Santoni wrote:
## aac-tactics[...] * f2abc870b150ff1296576c7028941e57ee1c27ab: I do not agree with this change. I prefer to make explicit (using the -X option) the files being ignored. And, by the way, why not install .v files? In general, a library A's .v files can be useful when using A.OK, I reverted that and installed the .v files. I did not install them simply because the previous version of aac-tactics didn't either (as far as I saw).
Uploaded. -- Stéphane