On 5/24/19 8:28 AM, Joe Conway wrote:
> On 5/24/19 3:08 AM, 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.
>
>
> Agreed -- better to fix it now.
+1
Jonathan
