From bde9ecfe1d3e70bc38002535724000e8d53dd361 Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 13 Apr 2018 17:46:38 +0300 Subject: [PATCH] Update --- todo.org | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/todo.org b/todo.org index c64adad..b395a54 100644 --- a/todo.org +++ b/todo.org @@ -41,9 +41,10 @@ only Make remnants are incompletions, boredom must be absolute to "fix" that. * build.sh - Updating KEYS results in: - - sh build.sh build - linking build/llpp - File "_none_", line 1: - Error: Files build/config.cmo and build/help.cmo - make inconsistent assumptions over interface Help +** TODO Track ocaml version +** FIXME Updating KEYS results in: + - sh build.sh build + linking build/llpp + File "_none_", line 1: + Error: Files build/config.cmo and build/help.cmo + make inconsistent assumptions over interface Help -- 2.11.4.GIT