diff options
| author | Maxime Dénès | 2018-03-07 10:55:46 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-07 10:55:46 +0100 |
| commit | a72d7eeba0ece3ebcc49232762a28b27ab108ded (patch) | |
| tree | e969c88b35869e1c8beeebebd0362a21c968aab8 /Makefile.dev | |
| parent | 8cf91026ccd9cef43a267b8cc755f123d5b8de7e (diff) | |
| parent | d095b1f2c39a9a3c0b009675573ea34034ffe52c (diff) | |
Merge PR #6922: Remove outdated information regarding the FAQ.
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions