diff options
| author | jvoisin | 2017-10-11 11:55:25 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-11 11:55:25 +0200 |
| commit | d4f68f5dca98cdd8f6f07519c443a270cffb2728 (patch) | |
| tree | 1e9b57fd3dace7a3f48c832282564d7b1126687e /scripts/generate_rules.php | |
| parent | e44b3b6b6ab1af61f9abc210546700e30aeff19c (diff) | |
Cache checksum calculation for the current file
Close #34
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions