From 717edc5d79c700b6a55c5c230dd15251b0f23afa Mon Sep 17 00:00:00 2001 From: "yakumo.izuru" Date: Mon, 1 Apr 2024 14:38:02 +0000 Subject: [PATCH] Remove the old UUID code, update the mailing list address, and use 'favicon.ico' Signed-off-by: Izuru Yakumo git-svn-id: file:///srv/svn/repo/kosuzu/trunk@62 eb64cd80-c68d-6f47-b6a3-0ada418499da --- cli/html.ml | 2 +- dune-project | 2 +- lib/id.ml | 11 ----------- 3 files changed, 2 insertions(+), 13 deletions(-) diff --git a/cli/html.ml b/cli/html.ml index 1692771..546873c 100644 --- a/cli/html.ml +++ b/cli/html.ml @@ -31,7 +31,7 @@ let wrap conv htm text_title body = (if feed <> "" then sprintf "feed" feed else "")) in let footer = match htm.templates.footer with None -> "" | Some x -> replace x in - Printf.sprintf "\n\n\n\n%s%s\n%s\n%s\n\n\n\n\n\n%s%s%s\n" + Printf.sprintf "\n\n\n\n%s%s\n%s\n%s\n\n\n\n\n\n%s%s%s\n" text_title (if site_title <> "" then (" • " ^ site_title) else "") htm.style (if feed <> "" then Printf.sprintf "" feed else "") diff --git a/dune-project b/dune-project index b617f4d..0692770 100644 --- a/dune-project +++ b/dune-project @@ -3,7 +3,7 @@ (version 1.3.2) (license EUPL-1.2) (authors "orbifx ") -(bug_reports "mailto:logarion@lists.tildeverse.org") +(bug_reports "mailto:logarion-dev@chaotic.ninja") (maintainers "Izuru Yakumo ") (homepage "https://logarion.chaotic.ninja") (source (uri git://git.chaotic.ninja/yakumo_izuru/logarion)) diff --git a/lib/id.ml b/lib/id.ml index 3850a2f..fe494d6 100644 --- a/lib/id.ml +++ b/lib/id.ml @@ -1,16 +1,5 @@ let random_state = Random.State.make_self_init -(*module UUID = struct*) -(*type t = Uuidm.t*) -(*let compare = Uuidm.compare*) -(*let to_string = Uuidm.to_string*) -(*let of_string = Uuidm.of_string*) -(*let to_bytes = Uuidm.to_bytes*) -(*let of_bytes = Uuidm.of_bytes*) -(*let generate ?(random_state=random_state ()) = Uuidm.v4_gen random_state*) -(*let nil = Uuidm.nil*) -(*end*) - type t = string let compare = String.compare let nil = ""