Completed
Pull Request — master (#392)
by Théo
07:19 queued 04:39
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.93
▶   ± 0
Head
Théo FIDRY  
Merge a8ae61c32285e9a724b03ef071a76f3c13aa6ed1 into 76c839a19357f29a20af77fa7e3995aff53e935b
3 more commits
Base
Théo FIDRY  
Fix refresh targets for the Makefile (#394)