diff options
| author | Manoj Gudi | 2013-10-07 20:19:55 +0530 |
|---|---|---|
| committer | Manoj Gudi | 2013-10-07 20:20:35 +0530 |
| commit | 1826d0763c8595997f5f4af1fdb0354e9c0998ad (patch) | |
| tree | acbd852cd5a1bf17241b1038b5e37a0e72e64612 /grc/freedesktop/gnuradio-grc.xml | |
| parent | 452defdb4a78e9e826740ddf4b9673e926c568a4 (diff) | |
| parent | 24b640997ba7fee0c725e65f401f5cbebdab8d08 (diff) | |
| download | gnuradio-1826d0763c8595997f5f4af1fdb0354e9c0998ad.tar.gz gnuradio-1826d0763c8595997f5f4af1fdb0354e9c0998ad.tar.bz2 gnuradio-1826d0763c8595997f5f4af1fdb0354e9c0998ad.zip | |
README change
Diffstat (limited to 'grc/freedesktop/gnuradio-grc.xml')
| -rw-r--r-- | grc/freedesktop/gnuradio-grc.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/grc/freedesktop/gnuradio-grc.xml b/grc/freedesktop/gnuradio-grc.xml new file mode 100644 index 000000000..a5cb95d9f --- /dev/null +++ b/grc/freedesktop/gnuradio-grc.xml @@ -0,0 +1,8 @@ +<?xml version="1.0"?> +<mime-info xmlns='http://www.freedesktop.org/standards/shared-mime-info'> + <mime-type type="application/gnuradio-grc"> + <sub-class-of type="application/xml"/> + <glob pattern="*.grc"/> + <glob pattern="*.grc.xml"/> + </mime-type> +</mime-info> |