log make-debian-package @ 58:6b300da7d800

age author description
Mon, 04 May 2020 18:37:34 -0700 David Barts Merged changes.
Sun, 03 May 2020 16:15:10 -0700 David Barts Update Building instructions; minor build system bug fixes.
Thu, 30 Apr 2020 21:22:30 -0700 David Barts Makes a .deb file at long last, but Duke still shows up as an icon in the dock.