3
91%
master: 91%

Ran 02 Nov 2014 05:50PM UTC

Files 7

Run time 5s

Badge

Committed 02 Nov 2014 05:48PM UTC coverage: 94.892% (+0.8%) from 94.118%

Build Type

push

travis-ci

Committed by

Commit Message

Remove idomenu.

The default imenu definition is quite fine, and idomenu can be installed
trivially without much effort if the user wants it.

Run Details

613 of 646 relevant lines covered (94.89%)

0.95 hits per line