diff options
| author | christos <christos@NetBSD.org> | 2019-06-02 16:07:58 +0000 |
|---|---|---|
| committer | christos <christos@NetBSD.org> | 2019-06-02 16:07:58 +0000 |
| commit | a1ce39101915df2b9c8fb9283a4b8b4b3494dfa1 (patch) | |
| tree | 0ebd09484870bb50626bf46ca23c4fa012633df1 /sys/dev/microcode/tools | |
| parent | 8bae707de5f764b1ebe822c662e0434000ecf508 (diff) | |
put back script deleted during merge.
Diffstat (limited to 'sys/dev/microcode/tools')
0 files changed, 0 insertions, 0 deletions
