diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-07-24 15:05:33 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-07 17:01:01 +0200 |
| commit | 776347cd196ab16eec72e186dcf7f86dd620b42b (patch) | |
| tree | 5fdde6b95cd04b8997c550e75eaa0778301e02d8 /src | |
| parent | 471a4c6f53b4fd698b3df87b71064fb14baf1c3c (diff) | |
| download | justbuild-776347cd196ab16eec72e186dcf7f86dd620b42b.tar.gz | |
man: Add 'special' pragma to just-mr repository config
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions