diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2024-04-25 16:21:37 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2024-04-26 01:48:58 +0000 |
| commit | 83b12bf895ca235e479f8dccc2c4bb198cccbc3b (patch) | |
| tree | 2dac332de44e3ffd1f66a5a1e48b79be6cc7abd2 /extras/vagrant/.gitignore | |
| parent | 5389a70c9ba030f698d680e118e1e3aa06f311c2 (diff) | |
hs-test: clean up Makefile for compatibility with ci-management
Type: test
Change-Id: Ic767bc1eef0180941dd8730f9fcca1389ad7e043
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'extras/vagrant/.gitignore')
0 files changed, 0 insertions, 0 deletions