From: Mark Wooding Date: Sat, 16 Jun 2018 18:32:22 +0000 (+0100) Subject: Integrate the TrIPE server into the Java edifice. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/tripe-android/commitdiff_plain/3bb2303d42adb3f37420f168b009ecfe64f888cd?ds=inline;hp=3bb2303d42adb3f37420f168b009ecfe64f888cd Integrate the TrIPE server into the Java edifice. And probably other things too. We're still in broad brushstrokes mode here. ---