Talk:Dotty

(one entry moved to Dottie)

Untitled

Does this really need a seperate article? I realise the importance of these tools (I use them very often) but DOT, dotty and DOT language are all equivalent... Wouter Lievens 15:18, 3 Apr 2005 (UTC)

I created these articles. Feel free to merge them into a useful article. -- Sundar (talk · contribs) 05:10, Apr 4, 2005 (UTC)