diff options
| author | Guillermo Ramos | 2012-03-11 15:06:55 +0100 |
|---|---|---|
| committer | Guillermo Ramos | 2012-03-11 15:06:55 +0100 |
| commit | 931b47a746e90c08e312472292c4781229a34f86 (patch) | |
| tree | 7f4d08d31df10e78f4da1bb9fa22128668e77849 /.gitignore | |
| parent | 4c0eeddba45e354019cb6cd08ec398bdecfdc9ee (diff) | |
| download | mjolnir-931b47a746e90c08e312472292c4781229a34f86.tar.gz | |
[Makefile] Added "install" target and simplified
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions