On Mon, Apr 1, 2013 at 6:35 PM, Aaron Meurer <notifications@github.com>wrote:

> In doc/src/modules/.directory:
>
> > @@ -0,0 +1,7 @@
> > +[Dolphin]
>
>
I don't know what it is, so I guess not.


> Was this file intended to be included?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/sympy/sympy/pull/1854/files#r3609471>
> .
>