| commit | 29cdb03a5e52397b79572cedcb04ab4672262964 | |
| author | mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |
| Fri, 10 May 2024 10:22:13 +0000 (10 10:22 +0000) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 10 May 2024 10:22:13 +0000 (10 10:22 +0000) | ||
| tree | 53023a648375b74f0c482cfed42351668fa777ee | treesnapshot (tar.gz zip) |
| parent | 214acd8389526f29bb33a1478b2f2e48d6dec656 | commitdiff |
| parent | d5dfd6e08ba87c2f196edfd57883e1d8b215e02f | commitdiff |
Merge pull request #9701 from cabalism/doc/compare-source-repos-9665
source-repository versus source-repository-package
source-repository versus source-repository-package