Mercurial > hg > Gears > GearsAgda

diff .git/refs/heads/master @ 786:12e19644535e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
test
author Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
date Mon, 02 Oct 2023 18:44:21 +0900
parents 68904fdaab71
children
line wrap: on
line diff
--- a/.git/refs/heads/master	Mon Aug 21 19:29:26 2023 +0900
+++ b/.git/refs/heads/master	Mon Oct 02 18:44:21 2023 +0900
@@ -1,1 +1,1 @@
-2edd8b993212ee33e85ac9b10b3a413a8f4dced7
+fecc8adcfeb1c0743aead365974dd4df0a754916