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