pintos-os.org Git - pspp/commit

author	Paul Eggert <eggert@cs.ucla.edu>
	Fri, 15 Aug 2003 18:04:34 +0000 (18:04 +0000)
committer	Paul Eggert <eggert@cs.ucla.edu>
	Fri, 15 Aug 2003 18:04:34 +0000 (18:04 +0000)
commit	1fea47043952c3c97e5c66a080a3f1aa7fadb68c
tree	dc205e3f7cdbaca1891db0ec975d8d9388402dcc	tree \| snapshot
parent	fc7146e3f4540bbf949d9bb92166420ea65d1081	commit \| diff

Use three spaces, rather than tab, after '#'
in shell-script copyright notices.
Suggested by Bruno Haible.

Unnamed repository; edit this file to name it for gitweb.