15 \.mob$

    15 \.mob$

    16 \.routes$

    16 \.routes$

    17 ^doc/manual/build

    17 ^doc/manual/build

    18 ^doc/tutorial/build

    18 ^doc/tutorial/build

    19 ^doc/testing/build

    19 ^doc/testing/build

    20 ^doc/manual/figures/.*eps

    22 ^doc/manual/figures/.*eps

    21 ^doc/manual/figures/.*pdf

    23 ^doc/manual/figures/.*pdf

    22 ^doc/manual/figures/.*png

    24 ^doc/manual/figures/.*png

    23 ^bindings/python/pybindgen/

    25 ^bindings/python/pybindgen/

    24 ms_print.*

    26 ms_print.*