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
