Git-ignore release directories

This commit is contained in:
Romain Vimont 2020-06-02 18:17:25 +02:00
parent e4efd75766
commit 8ff07e0c88