😎 A curated list of awesome Github Profile READMEs 📝
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

16 lines
448 B

  1. {
  2. "configurations": [
  3. {
  4. "browse": {
  5. "databaseFilename": "",
  6. "limitSymbolsToIncludedHeaders": true
  7. },
  8. "includePath": [
  9. "/opt/ros/melodic/include/**",
  10. "/home/erwin/catkin_ws/src/ros-xenomai-bridge/ros_nrt/reactive_navigation/include/**",
  11. "/home/erwin/catkin_ws/src/ros-xenomai-bridge/ros_nrt/xddp_utilities/include/**",
  12. "/usr/include/**"
  13. ],
  14. "name": "ROS"
  15. }
  16. ]
  17. }