diff options
author | root <root@rshg054.dnsready.net> | 2013-07-17 00:58:52 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-07-17 00:58:52 -0700 |
commit | dee9f17b595ea903a982d31d1124b302bb17e2ff (patch) | |
tree | 295fdab78e28e1952fbc13ce824d57c88ede4e3b /community/gtkwave/gtkwave.install | |
parent | 380530d02a5449fdef97b63b394a6743c3de0092 (diff) |
Wed Jul 17 00:58:51 PDT 2013
Diffstat (limited to 'community/gtkwave/gtkwave.install')
-rw-r--r-- | community/gtkwave/gtkwave.install | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/community/gtkwave/gtkwave.install b/community/gtkwave/gtkwave.install deleted file mode 100644 index bc2e66b0d..000000000 --- a/community/gtkwave/gtkwave.install +++ /dev/null @@ -1,6 +0,0 @@ -post_install() { - echo 'Make sure you copy the /usr/share/gtkwave/examples/gtkwaverc file to' - echo 'your home directory (as .gtkwaverc) or to your VCD project directory.' - echo 'It contains the prefs for a good configuration that most people find' - echo 'ergonomic. It is not strictly necessary however.' -} |