diff options
| author | Emilio Jesus Gallego Arias | 2019-12-09 17:49:12 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-13 17:05:48 +0100 |
| commit | ada783d03c937ff71f87fb65d3f89e3e68a7320f (patch) | |
| tree | ed7c21a564caf59f44fce31920b95c5d19af3c1f /Makefile | |
| parent | 7a8c20ed6a745bc8c3d77482057fe3920cb8770e (diff) | |
[doc] [INSTALL] split make-based install instructions to its own file.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions