diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-04-27 10:37:22 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-04-27 10:37:22 +0200 |
| commit | 15fa18d58e97baf65282e7a3aa5eb2579e21eeb8 (patch) | |
| tree | 619af3393f891dabac1d168e00e5d625a5946ab3 /doc/descriptions/pint.desc | |
| parent | 2ea1114b4bd294ae0a60985945956507ec25d430 (diff) | |
Don't install the hal fdi file
Diffstat (limited to 'doc/descriptions/pint.desc')
0 files changed, 0 insertions, 0 deletions