![]() - Unifying responsible computations - Separate emails by responsible - Don't send committer email unless new - Show committer new conditions - Show new conditions on dir pages - Adding notification logging to time.ss - Making the front page look cleaner - Hiding changed files in commit messages by default - Time.ss now makes sure it runs on every file before quiting - Improving duration formatting in graphs (from SamTH) svn: r18352 |
||
---|---|---|
.. | ||
drdr | ||
tree | ||
check-dists.ss | ||
checker.ss | ||
dist-specs.ss | ||
info.ss | ||
readme.txt | ||
spec-lang.ss | ||
spec-reader.ss | ||
specs.ss |
This directory contains code that is used to manage PLT infrastructure.