diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-02-11 13:33:37 -0200 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-02-11 13:33:37 -0200 |
| commit | 9b8ae113c3008d9849c9c711a595e3b8037439f1 (patch) | |
| tree | 1b53bc91e0f6dde53c20fa24618053b3b02c7f54 /pcr/jdee | |
| parent | bb388bd9d8a715e7e94618d1f7621277469ed227 (diff) | |
grub-2.00-1.2: updating revision"
* Remove obsolete files
* Fixing OS parameter on 10_linux.in for others distros
Diffstat (limited to 'pcr/jdee')
0 files changed, 0 insertions, 0 deletions