pintos-os.org Git - pspp/commit

author	Paul Eggert <eggert@cs.ucla.edu>
	Mon, 17 May 2004 05:41:42 +0000 (05:41 +0000)
committer	Paul Eggert <eggert@cs.ucla.edu>
	Mon, 17 May 2004 05:41:42 +0000 (05:41 +0000)
commit	5e576318cdb5628381e4082c3f4a29c1e97f27a8
tree	de6aec127e4f4e052838b25b7d6618985b8f36ff	tree \| snapshot
parent	d175970f402a07706f7cf82b032be5037b2cebb5	commit \| diff

alloca cleanup: always include <alloca.h>.

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