build/.gitignore, branch master Unnamed repository; edit this file 'description' to name the repository. Do not ignore *.patch files 2022-01-15T18:48:21+00:00 Marc Vertes mvertes@free.fr 2022-01-15T18:48:21+00:00 d6a67e794841f6b219b7d65dc964f745b63be6a0 






chore: do not commit .patch files
2022-01-15T18:39:13+00:00

Marc Vertes
mvertes@free.fr

2022-01-15T18:39:13+00:00

e96f6e6c4655695b6ba650f792ab34b6eaf9315e












handle git urls, add vftool
2021-02-28T19:50:48+00:00

Marc Vertes
mvertes@free.fr

2021-02-28T19:50:48+00:00

27aa16e615bbd1e9fd358bb7f894d0fbbad00938












creation
2021-02-21T09:18:33+00:00

Marc Vertes
mvertes@free.fr

2021-02-21T09:18:33+00:00

68017f46742241cd6842422b7c009e59d65f73a4