OSDN Git Service

(root) / oi-wiki / main.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: be00ae3 2b5140e)
:twisted_rightwards_arrows: Merge pull request #1679 from Dev-XYS/master
authorouuan <y___o___u@126.com>
Fri, 6 Sep 2019 16:06:42 +0000 (00:06 +0800)
committerGitHub <noreply@github.com>
Fri, 6 Sep 2019 16:06:42 +0000 (00:06 +0800)
改正后缀自动机部分引理1的叙述错误


Trivial merge
About OSDN
Find Software
Develop Software
Help