On Sat, May 20, 2023 at 10:35:12PM +0200, Dario Binacchi wrote: > The patch adds and modifies the .gitignore files to hide all the > examples generated by the compilation. Applied, thanks
On Sat, May 20, 2023 at 10:35:12PM +0200, Dario Binacchi wrote: > The patch adds and modifies the .gitignore files to hide all the > examples generated by the compilation. Applied, thanks