[lojban/cll] 804043: fix bug
0 views
Skip to first unread message
GitHub
Nov 9, 2018, 11:10:56 AM11/9/18
to lojbo-sam...@googlegroups.com
Branch: refs/heads/lagleki-patch-36
Home: https://github.com/lojban/cll
Commit: 8040435950a7c81ec0eb125c16ccfd10dc981224
https://github.com/lojban/cll/commit/8040435950a7c81ec0eb125c16ccfd10dc981224
Author: lagleki <gleki.is...@gmail.com>
Date: 2018-11-09 (Fri, 09 Nov 2018)
Changed paths:
M chapters/12.xml
Log Message:
-----------
fix bug
**NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
Home: https://github.com/lojban/cll
Commit: 8040435950a7c81ec0eb125c16ccfd10dc981224
https://github.com/lojban/cll/commit/8040435950a7c81ec0eb125c16ccfd10dc981224
Author: lagleki <gleki.is...@gmail.com>
Date: 2018-11-09 (Fri, 09 Nov 2018)
Changed paths:
M chapters/12.xml
Log Message:
-----------
fix bug
**NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
Reply all
Reply to author
Forward
0 new messages