diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 15:21:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 15:21:45 +0000 |
| commit | 78969186e204e14daa05f7662a2d3d223cd5466c (patch) | |
| tree | 361467e837bd006d6143aa49ac2307df3ae13e60 /isar/isar.el | |
| parent | 7d79479762513583e63f1d07762c81b12245e7c0 (diff) | |
Tune profiling
Diffstat (limited to 'isar/isar.el')
0 files changed, 0 insertions, 0 deletions