Davide Faconti

Results 478 comments of Davide Faconti

there is a person in charge. I will be happy to review a PR

thanks a lot, I will try this soon. I may probably apply some changes

that is correct. if you have any proposal, let me know

you are welcome to submit a PR. I am already juggling between multiple build systems, and multiple operative system. Playing nice with Arch is not on my immediate todo list

I mean... the button for deleting is there. About changing the name, I should probably make that easier

@anirudlappathi really? AI generated text. Did you even TRIED to do what you suggest here, before copying and pasting this?

i am closing this because it is ROS1, that I don't actively support anymore, and because the Ai generated "reply" is insulting

this is nice, but as a directory like this can contain a LOT of files, I think It would be good to have a popup that display the number and...

This is a good idea. Maybe your company wants to sponsor this feature... I would go a step further an create some kind of backtrace visualization!