annotate oldXMenu/copyright.h @ 42549:6301bb6ec388

(vc-rcs-steal-lock): Do a real checkout after stealing the lock, so that we see expanded headers. (vc-rcs-trunk-p, vc-rcs-branch-part, vc-rcs-branch-p, vc-rcs-minor-part, vc-rcs-previous-version): Removed. These are available from vc.el. Updated all callers.
author André Spiegel <spiegel@gnu.org>
date Sat, 05 Jan 2002 17:21:06 +0000
parents bbce331da1be
children 695cf19ef79e d7ddb3e565de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* $Header: /u/src/emacs/19.0/oldXMenu/RCS/copyright.h,v 1.1 1992/04/11 22:10:22 jimb Exp $ */
Dave Love <fx@gnu.org>
parents:
diff changeset
2 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
3
Dave Love <fx@gnu.org>
parents:
diff changeset
4 Copyright 1985, 1986, 1987 by the Massachusetts Institute of Technology
Dave Love <fx@gnu.org>
parents:
diff changeset
5
Dave Love <fx@gnu.org>
parents:
diff changeset
6 Permission to use, copy, modify, and distribute this
Dave Love <fx@gnu.org>
parents:
diff changeset
7 software and its documentation for any purpose and without
Dave Love <fx@gnu.org>
parents:
diff changeset
8 fee is hereby granted, provided that the above copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
9 notice appear in all copies and that both that copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
10 notice and this permission notice appear in supporting
Dave Love <fx@gnu.org>
parents:
diff changeset
11 documentation, and that the name of M.I.T. not be used in
Dave Love <fx@gnu.org>
parents:
diff changeset
12 advertising or publicity pertaining to distribution of the
Dave Love <fx@gnu.org>
parents:
diff changeset
13 software without specific, written prior permission.
Dave Love <fx@gnu.org>
parents:
diff changeset
14 M.I.T. makes no representations about the suitability of
Dave Love <fx@gnu.org>
parents:
diff changeset
15 this software for any purpose. It is provided "as is"
Dave Love <fx@gnu.org>
parents:
diff changeset
16 without express or implied warranty.
Dave Love <fx@gnu.org>
parents:
diff changeset
17
Dave Love <fx@gnu.org>
parents:
diff changeset
18 */
Dave Love <fx@gnu.org>
parents:
diff changeset
19