Home
c4science
Search
Configure Global Search
Log In
Diffusion
coq-project
3ed179d31ada
Merge pull request #2 from lampepfl/anatoliykmetyuk-patch-1
3ed179d31ada
Actions
Authored by
liuf
on Nov 21 2019, 16:06.
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Tags
None
Subscribers
None
Description
Merge pull request #2 from lampepfl/anatoliykmetyuk-patch-1
Typo fix
Details
Committed
GitHub <noreply@github.com>
Nov 21 2019, 16:06
Pushed
liuf
Nov 21 2019, 16:06
Parents
R9452:16de53d1e683: Typo fix
R9452:d3af2d8b0460: Merge pull request #1 from lampepfl/anatoliykmetyuk-patch-1
Branches
Unknown
Tags
Unknown
Event Timeline
GitHub <noreply@github.com> committed
R9452:3ed179d31ada: Merge pull request #2 from lampepfl/anatoliykmetyuk-patch-1
(authored by
liuf
).
Nov 21 2019, 16:06
Merged Changes
Commit
Author
Details
Committed
16de53d1e683
Anatolii Kmetiuk
/
GitHub
Typo fix
Nov 21 2019