From 591d9e4b8afd26473a21c4f9c4a94bef551c7e15 Mon Sep 17 00:00:00 2001 From: archseer Date: Sun, 19 Dec 2021 06:23:53 +0000 Subject: [PATCH] deploy: 7c01d926536bcaacc92bbf4a2b1a06e96e6268a0 --- print.html | 8 ++++++-- searchindex.js | 2 +- searchindex.json | 2 +- themes.html | 8 ++++++-- 4 files changed, 14 insertions(+), 6 deletions(-) diff --git a/print.html b/print.html index 89e671799..c512f3cea 100644 --- a/print.html +++ b/print.html @@ -743,6 +743,9 @@ over it and is merged into the default palette.

  • +

    constructor

    +
  • +
  • constant (TODO: constant.other.placeholder for %v)