projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d6ad9a) | patch
Get rid of install target: not needed anymore.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 15 Dec 2004 01:11:52 +0000 (01:11 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 15 Dec 2004 01:11:52 +0000 (01:11 +0000)
commitf96038caf01913386c31c9cfb7058dc6eee3c391
treed5e3c01ef777a1b8f86ab1d8fc108cd4d0d87e71tree | snapshot
parent9d6ad9a479ddae9628dc2d45862f9281986c430bcommit | diff
Get rid of install target: not needed anymore.
doc/Makefile diff | blob | history
Pintos public repository