diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2017-08-24 10:45:10 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2017-08-24 10:45:10 +0300 |
| commit | d8975d91355311ffc7f1ec4cb9092495adf36a22 (patch) | |
| tree | 2ea6244a647fa9194d21e725cc7938c704e86e1f /misc | |
| parent | f7ed3078c162c842f86d317701a6a05486a1d530 (diff) | |
| download | inter-d8975d91355311ffc7f1ec4cb9092495adf36a22.tar.xz | |
makefile: better dist rule
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions