aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-12-28 20:01:22 +0100
committerChristian Grothoff <christian@grothoff.org>2020-01-09 12:19:08 +0100
commit1f8d6e1ac17b3eef84d48bf109a03f1d142c51ed (patch)
tree0580a6144003ef508dd50ce1c47d286aa6846b2c /doc
parent9e206f533f28a1ea1a4ac57c138924e61f4ae80c (diff)
pp to tos
Diffstat (limited to 'doc')
m---------doc/prebuilt0
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt
-Subproject 934a6a18301e81c4fd1b3a8cda2dc13dca4741c
+Subproject ca53235ccfa0458ebf11c204888ca370e20ec3f