diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-11-04 04:35:35 -0800 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-11-04 04:35:35 -0800 |
| commit | f830666ec02a59eefa4547dfb633bc9b7b40d8f5 (patch) | |
| tree | 03d78dbe3599f6c6561b8a12f1052995877364a6 /frontends | |
| parent | ba305a7ca6f5d380d4cb2ead12c5bed5444b8423 (diff) | |
| parent | 58cfce6c5af48748e17e390ca190f2cf5426db32 (diff) | |
Merge pull request #16 from mschmoelzer/master
Allow setting of installation destination via DESTDIR variable in Makefi...
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions