diff options
| author |   Mohammed Hawari <mohammed@hawari.fr> | 2021-05-04 11:34:37 +0200 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2021-05-04 12:21:16 +0000 |
| commit | 7d64631e516ba6c3fd0be12deda00862c1edd69a (patch) | |
| tree | c8bcc400f8acb22721438687a6d499c0ac23bb0f /extras/vagrant | |
| parent | 5a504b04fcac2a1ed246530cf6f82d17f77d5788 (diff) | |
misc: improve src detection in configure script
Change-Id: I2c45b160d76883044a3a7db0afcac0c56bcd2bcf
Signed-off-by: Mohammed Hawari <mohammed@hawari.fr>
Type: feature
Diffstat (limited to 'extras/vagrant')
0 files changed, 0 insertions, 0 deletions