diff options
| author | Marcin Łabanowski <marcin@6irc.net> | 2012-03-02 22:41:04 +0100 |
|---|---|---|
| committer | Michael Save <savetheinternet@tinyboard.org> | 2012-03-14 15:31:01 +1100 |
| commit | ff697004b08630d16d55f699f353147dc7e60f0c (patch) | |
| tree | fb7794ffbd9080b2b850d8b976a3ea1d23da3de4 /tools/inc/cli.php | |
| parent | 40b59c36da5e07c649336ec374337d1114c7118b (diff) | |
a command-line tool for rebuilding js, html, etc.; based on mod.php; also introduced dynamic main.js names in order to prevent aggressive caching, based on filemtime of templates/main.js
Diffstat (limited to 'tools/inc/cli.php')
0 files changed, 0 insertions, 0 deletions