v01d commented on pull request #1684: URL: https://github.com/apache/incubator-nuttx/pull/1684#issuecomment-684877328
Great, thanks! I will try it next time I need to debug NuttX. By the way, wouldn't it be better to not use '.' in the name? Otherwise no one will know of its existence unless they go looking for hidden files. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
