Mercurial > hg > Gears > GearsAgda

annotate .git/logs/refs/heads/master @ 943:03857be39158

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
....
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 16 Jun 2024 09:22:40 +0900
parents 12e19644535e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
781
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 0000000000000000000000000000000000000000 ac55a36987a9273979425ebe2b0d7434f57b1590 e205718 <e205718@ie.u-ryukyu.ac.jp> 1683789831 +0900 clone: from git@github.com:e205718/GearsAgda.git
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 ac55a36987a9273979425ebe2b0d7434f57b1590 8da83e4c94275b301ebeadd753645bda2dceefdc e205718 <e205718@ie.u-ryukyu.ac.jp> 1685239824 +0900 commit: work
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 8da83e4c94275b301ebeadd753645bda2dceefdc fd86b13af379a711d7ef0b07d0b2460e8088e14f e205718 <e205718@ie.u-ryukyu.ac.jp> 1685776571 +0900 commit: s
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 fd86b13af379a711d7ef0b07d0b2460e8088e14f 926d3938256a6b2afc28f042373194a692a3db85 e205718 <e205718@ie.u-ryukyu.ac.jp> 1686213376 +0900 commit: from amane
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 926d3938256a6b2afc28f042373194a692a3db85 de4c763a3b65d439157a28bca6e574e7e6bd6f48 e205718 <e205718@ie.u-ryukyu.ac.jp> 1686560989 +0900 commit: amane
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 de4c763a3b65d439157a28bca6e574e7e6bd6f48 e5d4bfc497171d8a659cb1ddd695af3e05a92105 e205718 <e205718@ie.u-ryukyu.ac.jp> 1687159862 +0900 commit: 6/19
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 e5d4bfc497171d8a659cb1ddd695af3e05a92105 69d6285765c99fd5afe14cafd957ccbccc7d348e e205718 <e205718@ie.u-ryukyu.ac.jp> 1687778424 +0900 commit: remove black depth
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 69d6285765c99fd5afe14cafd957ccbccc7d348e 46c240f5b42cb03db61137e92d2f67892b410362 e205718 <e205718@ie.u-ryukyu.ac.jp> 1687779007 +0900 commit: d
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 46c240f5b42cb03db61137e92d2f67892b410362 0487cd0857ea20b08f8080576621afa1ab1c17c0 e205718 <e205718@ie.u-ryukyu.ac.jp> 1688718982 +0900 commit: 7/7
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 0487cd0857ea20b08f8080576621afa1ab1c17c0 2edd8b993212ee33e85ac9b10b3a413a8f4dced7 e205718 <e205718@ie.u-ryukyu.ac.jp> 1688719228 +0900 merge origin/master: Merge made by the 'ort' strategy.
786
Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
parents: 781
diff changeset
11 2edd8b993212ee33e85ac9b10b3a413a8f4dced7 fecc8adcfeb1c0743aead365974dd4df0a754916 e205718 <e205718@ie.u-ryukyu.ac.jp> 1693708090 +0900 commit: 9/3