-
Emmanuele Bassi authored
There's no point in keeping it into a separate directory, when it's a static library that isn't installed any more.
297110cb
There's no point in keeping it into a separate directory, when it's a static library that isn't installed any more.