12 Sep
2005
12 Sep
'05
3:52 p.m.
Thomas A. Schmitz wrote:
working directory, and -- I got no output again. diff shows that both files are identical. Looking at the logs, there's only one difference I can spot:
Perhaps it can be that something decides that your file has the interesting filename extension '11.08-mpgraph.mp' instead of just '.mp'? Taco