Davide Faconti
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
this is a 3rd party llibrary
@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!