Amar Takhar created an issue: 
https://gitlab.rtems.org/rtems/docs/rtems-docs/-/issues/42



## Summary

<!--Please provide as much information as possible such as error messages or 
attaching logs-->

ita pointed out on discord that we have some dangling references:

* 
https://discord.com/channels/820452222382112799/1257160543580590141/1300849519700869230

See here:

* 
[user/installation/developer.rst#L206](https://gitlab.rtems.org/rtems/docs/rtems-docs/-/blob/main/user/installation/developer.rst?plain=1#L208)

Not sure what was meant to be there or if it can be deleted.

## Steps to reproduce

### Pre-set options

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/docs/rtems-docs/-/issues/42
You're receiving this email because of your account on gitlab.rtems.org.


_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs

Reply via email to