[GRASS-user] No module named grass7_wxvdigit?

[G. Allegri]

> /usr/bin/install -c  OBJ.i686-pc-linux-gnu/_grass7_wxvdigit.so
> /usr/local/src/grass_trunk/dist.i686-pc-linux-gnu/etc/wxpython/vdigit/_grass7_wxvdigit.so
> /usr/bin/install -c  -m 644 grass7_wxvdigit.py
> /usr/local/src/grass_trunk/dist.i686-pc-linux-gnu/etc/wxpython/vdigit/grass7_wxvdigit.py

no trace of this....