| commit | e4397f82eeb70bec75cb0c1dc57bb4970f4c57c1 | [log] [tgz] |
|---|---|---|
| author | Jürg Billeter <j@bitron.ch> | Mon Jun 13 07:36:45 2022 +0200 |
| committer | GitHub <noreply@github.com> | Mon Jun 13 07:36:45 2022 +0200 |
| tree | 5dbac51f5004a324bd7b0e919f3e5b59e2b6c137 | |
| parent | b8cc6a3e1fb2f1b6b6dfcc3bb2738be35698f667 [diff] | |
| parent | 2ea7c3c9fb080c5000037d82a0ea0bbfa339ae16 [diff] |
Merge pull request #1655 from apache/juerg/subproject-ref-storage source.py: Don't ignore project.refs of subprojects