diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-05-29 12:16:49 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-05-29 12:16:49 (GMT) |
| commit | 53d64a053682d1739326e28f0fe76e940a8f78ec (patch) | |
| tree | 54b0a4e30c61fdf785201a930ddec7073149092e /pylint.sh | |
| parent | 0c77275ba7a5a7e30b685ba847f7b39ca29803a4 (diff) | |
Use the commit id for the snapshot name
Diffstat (limited to 'pylint.sh')
0 files changed, 0 insertions, 0 deletions