diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-27 12:34:06 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-27 12:34:06 +0200 |
| commit | dcd153010ba7dbdb7888ddaceb03840aa9d6c71f (patch) | |
| tree | 416333711662a1a3b08077cb76d4434b8397f622 /Vagrantfile | |
| parent | Makefile: move the prelude to prelude.mk (diff) | |
| download | linux-status-dcd153010ba7dbdb7888ddaceb03840aa9d6c71f.tar.gz linux-status-dcd153010ba7dbdb7888ddaceb03840aa9d6c71f.zip | |
update .gitignore
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions