summaryrefslogtreecommitdiffhomepage
path: root/coq.html.markdown
diff options
context:
space:
mode:
authorMax Schumacher <maximilianbschumacher@gmail.com>2020-07-07 15:26:58 +0200
committerGitHub <noreply@github.com>2020-07-07 15:26:58 +0200
commit3e1eccc2f33aa8d4e78fec5cb8c2f0f42a7896bd (patch)
tree76ea868e246c409fbb11776c6c7a068df5494b2e /coq.html.markdown
parentb9dfd657c1f12119075971d316a294505e62e9e6 (diff)
parent4d572a9994cb41109d571b7e890997458fe623b1 (diff)
Merge pull request #3910 from isolovev/patch-1
[ruby/ru] Fix comment of attr_accessor
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions