diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2020-06-19 16:45:12 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2020-06-19 16:45:12 +0200 |
| commit | 2ef9ca8d05ec1ab9e511484413b04882fbd90233 (patch) | |
| tree | 45b1b2e02e6d429d5778418a182f5b61b7ebeafe /.mrconfig | |
| parent | 3cd1ade78e64a86364d2b3d33ab4e7338f64ab95 (diff) | |
mark build target check as phony
Diffstat (limited to '.mrconfig')
0 files changed, 0 insertions, 0 deletions