rnv 56fdc40ca9 Change dot image format from jpg to png.

2012-04-20 07:29:37 +00:00

..

gui

Little correction of the documentation for multi-translation and multi-rotation operations

2012-04-19 06:17:56 +00:00

tui

Change dot image format from jpg to png.

2012-04-20 07:29:37 +00:00

Makefile.am

Update copyright information

2012-04-13 05:48:26 +00:00