diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-01-06 19:21:42 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-01-06 19:21:42 +0100 |
| commit | 9efc32596bd9fadd7c064bb028de1263c3a366a0 (patch) | |
| tree | 51f48dd3f73a093959979ebf5debc9cad98e523d /src/user_interface.hh | |
| parent | f3640a2d031ad6b7efcbe92327b1ba8a570e3858 (diff) | |
make: use a makecmd option
Diffstat (limited to 'src/user_interface.hh')
0 files changed, 0 insertions, 0 deletions