diff options
| author | Maxime Dénès | 2019-07-22 14:32:46 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-07-22 14:32:46 +0200 |
| commit | 7cdab2e35f21c5bbd4f98fcb49c7b7bd24419849 (patch) | |
| tree | d58f641ac0d9de80eb63954d40b8d38e88b9bb01 /dev | |
| parent | 033021860b2ea6fee901f6c760dcd8292ed07fe5 (diff) | |
| parent | 5e95f92a6b5aa629a468f8164d87634a96b405ea (diff) | |
Merge PR #10447: Refactor and expand contributing guide.
Ack-by: SkySkimmer
Ack-by: ejgallego
Ack-by: gares
Reviewed-by: jfehrle
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/README.md b/dev/README.md index 9761f7b96f..4cda60a703 100644 --- a/dev/README.md +++ b/dev/README.md @@ -2,7 +2,7 @@ ## Debugging and profiling (`dev/`) -**More info on debugging: [`doc/debugging.md`](doc/debugging.md)** +**More info on debugging: [`dev/doc/debugging.md`](doc/debugging.md)** | File | Description | | ---- | ----------- | |