diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-26 20:04:17 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-26 20:04:17 +0200 |
| commit | 080a93fc7d9f2e35938f690daf95d4b36b3b5b5e (patch) | |
| tree | adde9226d68ac78bf28a3a838fedb3c4c071e249 /bin/check-db-structure | |
| parent | 3c1278c520987087f8b830d56367fa63695f1717 (diff) | |
| download | builder-080a93fc7d9f2e35938f690daf95d4b36b3b5b5e.tar.xz | |
bin/get-assignment: toolchain packages do not need other dependencies fulfilled
Diffstat (limited to 'bin/check-db-structure')
0 files changed, 0 insertions, 0 deletions