diff options
author | Thomas Schwinge <thomas@schwinge.name> | 2010-07-30 16:58:25 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@schwinge.name> | 2010-07-30 16:58:25 +0200 |
commit | 891247d70d71c1c939d3270e5d7f3e6c40a5fc18 (patch) | |
tree | f00fec6b9b6e2483afa960fdbc116833b47d7699 /grub | |
parent | ba2478a3ce4e5a81d876e966478348407acbec6f (diff) |
open_issues/automatically_checking_port_deallocation: New.
Diffstat (limited to 'grub')
0 files changed, 0 insertions, 0 deletions