diff options
| author | Joerg Jaspert <joerg@debian.org> | 2016-01-04 23:06:52 +0100 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2016-01-04 23:06:52 +0100 |
| commit | b9905b7274b065b85eba0c8e972d17b29e870f90 (patch) | |
| tree | 8e57630ba95decc5109c340419375cd86f39bcb2 /etc | |
| parent | 4f4eae10516e674d85a5062c566f919dcad68a47 (diff) | |
tracefile generation in a function, use it for stage1 file too
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions