Mercurial > hg > Gears > GearsAgda

view .git/logs/HEAD @ 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 source

0000000000000000000000000000000000000000 ac55a36987a9273979425ebe2b0d7434f57b1590 e205718 <e205718@ie.u-ryukyu.ac.jp> 1683789831 +0900	clone: from git@github.com:e205718/GearsAgda.git
ac55a36987a9273979425ebe2b0d7434f57b1590 8da83e4c94275b301ebeadd753645bda2dceefdc e205718 <e205718@ie.u-ryukyu.ac.jp> 1685239824 +0900	commit: work
8da83e4c94275b301ebeadd753645bda2dceefdc fd86b13af379a711d7ef0b07d0b2460e8088e14f e205718 <e205718@ie.u-ryukyu.ac.jp> 1685776571 +0900	commit: s
fd86b13af379a711d7ef0b07d0b2460e8088e14f 926d3938256a6b2afc28f042373194a692a3db85 e205718 <e205718@ie.u-ryukyu.ac.jp> 1686213376 +0900	commit: from amane
926d3938256a6b2afc28f042373194a692a3db85 de4c763a3b65d439157a28bca6e574e7e6bd6f48 e205718 <e205718@ie.u-ryukyu.ac.jp> 1686560989 +0900	commit: amane
de4c763a3b65d439157a28bca6e574e7e6bd6f48 e5d4bfc497171d8a659cb1ddd695af3e05a92105 e205718 <e205718@ie.u-ryukyu.ac.jp> 1687159862 +0900	commit: 6/19
e5d4bfc497171d8a659cb1ddd695af3e05a92105 69d6285765c99fd5afe14cafd957ccbccc7d348e e205718 <e205718@ie.u-ryukyu.ac.jp> 1687778424 +0900	commit: remove black depth
69d6285765c99fd5afe14cafd957ccbccc7d348e 46c240f5b42cb03db61137e92d2f67892b410362 e205718 <e205718@ie.u-ryukyu.ac.jp> 1687779007 +0900	commit: d
46c240f5b42cb03db61137e92d2f67892b410362 0487cd0857ea20b08f8080576621afa1ab1c17c0 e205718 <e205718@ie.u-ryukyu.ac.jp> 1688718982 +0900	commit: 7/7
0487cd0857ea20b08f8080576621afa1ab1c17c0 0487cd0857ea20b08f8080576621afa1ab1c17c0 e205718 <e205718@ie.u-ryukyu.ac.jp> 1688719191 +0900	reset: moving to HEAD
0487cd0857ea20b08f8080576621afa1ab1c17c0 2edd8b993212ee33e85ac9b10b3a413a8f4dced7 e205718 <e205718@ie.u-ryukyu.ac.jp> 1688719228 +0900	merge origin/master: Merge made by the 'ort' strategy.
2edd8b993212ee33e85ac9b10b3a413a8f4dced7 fecc8adcfeb1c0743aead365974dd4df0a754916 e205718 <e205718@ie.u-ryukyu.ac.jp> 1693708090 +0900	commit: 9/3