From 4fc49510958da83a3d4dc7915738f4683eee1ee8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Filip=20Zyba=C5=82a?= Date: Tue, 15 Mar 2022 11:36:00 +0100 Subject: [PATCH] Rename property posts to pages --- docs/_blog/index.html | 2 +- docs/_docs/usage/dottydoc.md | 2 +- docs/_layouts/index.html | 4 ++-- scaladoc/src/dotty/tools/scaladoc/site/LoadedTemplate.scala | 4 ++-- 4 files changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/_blog/index.html b/docs/_blog/index.html index b1ad4787b41b..055b069b303d 100644 --- a/docs/_blog/index.html +++ b/docs/_blog/index.html @@ -6,7 +6,7 @@

{{ page.title }}