diff options
author | jbranso@dismail.de <jbranso@dismail.de> | 2024-05-30 13:29:47 -0400 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-05-30 19:48:51 +0200 |
commit | 46263a0103a7ec6d3d86808222ba89823ccea2cc (patch) | |
tree | da1fef9d82f94e5ccee55651ddd82ebe418f0f1f /source_repositories | |
parent | 621c9976a70a48c34d6dcd8c2e13b712041d7d8e (diff) |
I put all "developer references" on hurd/documentation.
The pages hurd and hurd/documentation both have "documentation
sections". That seems a little silly. I am added a link in hurd to
"developer documentation" that links to hurd/documentation.
* hurd: link to hurd/documentation.
* hurd/documentation: combine the documentation from both hurd and
hurd/documentation.
Message-ID: <20240530173020.2499-3-jbranso@dismail.de>
Diffstat (limited to 'source_repositories')
0 files changed, 0 insertions, 0 deletions