On 24.05.19 09:08, Peter Eisentraut wrote:
It has come to my attention that the preferred file extension for graphviz files is .gv rather than the .dot we are using. So I propose to change that for the one file we have so far (gin.dot) before we add more files in the future.
+1 J. Purtz
