diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2023-05-03 14:46:53 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2023-05-05 14:47:55 +0200 |
| commit | f1bb8dd4e9d5e65c48050ceb89edb9a8881a9114 (patch) | |
| tree | 5072265cb68911bfaba8d80c21134f9ff607a616 /doc/tutorial | |
| parent | 4270f5394ddd2415ddd17ea8e98f987841c8ce5e (diff) | |
| download | justbuild-f1bb8dd4e9d5e65c48050ceb89edb9a8881a9114.tar.gz | |
GitTree: Check optional before accessing it
... and drop unecessary IsTree() check.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions