diff options
author | Christopher Kenna <cjk@cs.unc.edu> | 2012-10-03 14:05:06 -0400 |
---|---|---|
committer | Christopher Kenna <cjk@cs.unc.edu> | 2012-10-03 14:05:06 -0400 |
commit | db7cf81a503f637eb85e2dfe63e515252d22a2ba (patch) | |
tree | d007a101d39f11a4940a7ea7d6b2e13f0b574a4a /flags.py | |
parent | 5a93f97a326c150fe7980fd98f5c99a0a54aec9b (diff) |
Pound does not need the GRUB menuentry added.
Diffstat (limited to 'flags.py')
0 files changed, 0 insertions, 0 deletions