diff options
| author | Filippo Valsorda <filippo.valsorda@gmail.com> | 2012-11-26 22:35:12 +0100 |
|---|---|---|
| committer | Filippo Valsorda <filippo.valsorda@gmail.com> | 2012-11-26 22:35:12 +0100 |
| commit | a7b5c8d6a8c6a875af3337722458b5f6c5124311 (patch) | |
| tree | ece603445a6c9527621b6f6a7ff110fe1eaaa2fa /.gitignore | |
| parent | 92b91c18780938283c505f5662c458e049bf3567 (diff) | |
fix FAQ on how to compile (also, starnge fix in the Makefile)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions