- Remove broken instructions for installing GNATS on your local machine
- Add information about useful GNATS tools (change-pr and friends) - Clean up mirroring instructions a bit Approved by: miwi
This commit is contained in:
parent
3876c71463
commit
671d3cc419
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/head/; revision=38611
1 changed files with 30 additions and 73 deletions
|
@ -2715,16 +2715,14 @@ $target - head/$source:$P,$Q,$R</screen>
|
||||||