julia
Fix definition of length in docstring and remove redundant docstring
#22741
Merged

Fix definition of length in docstring and remove redundant docstring #22741

nalimilan merged 2 commits into master from nl/length
nalimilan
tkelman
tkelman commented on 2017-07-10
nalimilan nalimilan force pushed from b4e914a6 to d2ca5d28 9 years ago
ararslan ararslan added docs
ararslan
ararslan approved these changes on 2017-07-10
fredrikekre
fredrikekre commented on 2017-07-10
nalimilan Fix definition of length in docstring and remove redundant docstring
0382ffa5
nalimilan nalimilan force pushed from d2ca5d28 to 0382ffa5 9 years ago
Sacha0
Sacha0 approved these changes on 2017-07-11
rfourquet
rfourquet approved these changes on 2017-07-14
nalimilan Merge branch 'master' into nl/length
526b2561
nalimilan
nalimilan nalimilan merged 7233d7d6 into master 8 years ago
nalimilan nalimilan deleted the nl/length branch 8 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone