diff options
Diffstat (limited to 'src/grub-dev/Info.plist')
| -rw-r--r-- | src/grub-dev/Info.plist | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/grub-dev/Info.plist b/src/grub-dev/Info.plist new file mode 100644 index 0000000..afa6d3d --- /dev/null +++ b/src/grub-dev/Info.plist @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> +<plist version="1.0"> +<dict> + <key>CFBundleIdentifier</key> + <string>gnugrubdev</string> + <key>CFBundleName</key> + <string>GNU Grub Developers</string> + <key>DocSetPlatformFamily</key> + <string>grub-dev</string> + <key>isDashDocset</key> + <true/> +</dict> +</plist> |