On Thu, 2018-10-11 at 18:05 +0100, Richard Shann wrote: > On Thu, 2018-10-11 at 10:32 +0100, Richard Shann wrote: > > > > I did have to patch Denemo to take an environment variable so it > > could > > find the data directory. (This is in git now, > > unfortunately, my git push had not succeeded and I didn't notice - > I'll > keep trying...
It's gone through now. As soon as I get some broadband bandwidth back I'll down load some other live distros and see if they run the binary I built. Also now in git is the swapping of the display and source windows' positions. Richard _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
