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
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 ad
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 -- b
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.
--
Peter Eisentraut http://www.2ndQuadrant.com/
Po
