From 4dce5aae9c54d064d7a465cfa7311c56958aa81a Mon Sep 17 00:00:00 2001
From: eric <eric@hellman.net>
Date: Fri, 17 Nov 2023 11:31:27 -0500
Subject: [PATCH] remove chaff

---
 books/free-programming-books-ja.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/books/free-programming-books-ja.md b/books/free-programming-books-ja.md
index 0c756aed2..b9adf9865 100644
--- a/books/free-programming-books-ja.md
+++ b/books/free-programming-books-ja.md
@@ -294,7 +294,7 @@
 
 
 ### Coq
-trl:
+
 * [ソフトウェアの基礎](http://proofcafe.org/sf) - Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, Brent Yorgey, `trl:` 梅村晃広, `trl:` 片山功士, `trl:` 水野洋樹, `trl:` 大橋台地, `trl:` 増子萌, `trl:` 今井宜洋