diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 00:41:02 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 00:41:49 (GMT) |
| commit | 31990083fe4272c0663ba13c936ecd7c759778fe (patch) | |
| tree | 3163295867bdc218839e8a9b36c291e2609ee509 /devbot/shell.py | |
| parent | 28b6ca6d80dd16df32f1ba76de30a638bf287710 (diff) | |
Decide to rebuild on the base of files mtime
It's simpler and should be more reliable than
using git (new files will be noticed).
Diffstat (limited to 'devbot/shell.py')
0 files changed, 0 insertions, 0 deletions