projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 979829b) | patch
(strip_exit_codes) Include _ in the list of characters considered as win0405
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 18 Mar 2005 17:46:59 +0000 (17:46 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 18 Mar 2005 17:46:59 +0000 (17:46 +0000)
commit35692cf4733c0761f25dc17153eeaf8a64c1e0ee
treec5366a91b4132d3df5647d7c08dd6ae65b35138etree | snapshot
parent979829bf6f563cbaf9aaf83a6332a2bc79f2f581commit | diff
(strip_exit_codes) Include _ in the list of characters considered as
part of a program name.
grading/lib/Pintos/Grading.pm diff | blob | history
Pintos public repository