Minor fixes

This commit is contained in:
2023-08-28 00:06:58 -04:00
parent 5c58d7d051
commit e108a35fb6
4 changed files with 7 additions and 4 deletions

View File

@@ -1,6 +1,6 @@
---
title: Referee's Tools
description:
title: Referee's Tools (Beta)
description: A few useful tools for referees, currently in open beta.
date_pub: 2023-08-23T21:01:00-04:00
section: tools
content_type: feature