diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2018-04-02 13:35:24 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-04-02 13:35:24 -0700 |
commit | 75d15b2cd923f92fd26020e0c8d1786b4396d608 (patch) | |
tree | 3d3e4d4d94c3610b1fadb9a43c44284eea81ca0d /contrib/cvc-mode.el | |
parent | a917cc2ab4956b542b1f565abf0e62b197692f8d (diff) |
Remove references to nyu (#1721)
Diffstat (limited to 'contrib/cvc-mode.el')
-rw-r--r-- | contrib/cvc-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/cvc-mode.el b/contrib/cvc-mode.el index f159944dd..e32c0c439 100644 --- a/contrib/cvc-mode.el +++ b/contrib/cvc-mode.el @@ -644,7 +644,7 @@ process will leave its output. Currently, each run of CVC clears the compilation buffer. If you need to save multiple runs, save them one at a time. -Please report bugs to barrett@cs.nyu.edu." +Please report bugs to barrett@cs.stanford.edu." (interactive) (use-local-map cvc-mode-map) ;;; Disable asking for the compile command |