summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorDaniil Kazantsev <dkazanc3@googlemail.com>2018-12-19 15:42:38 +0000
committerGitHub <noreply@github.com>2018-12-19 15:42:38 +0000
commit07fb80445f83758e4aed94a461cf1cf2b869318a (patch)
treee93c03bcfbe2eb88a13cdd42edaea045f7f13c06 /docs
parentc04b85a6fdd8c63e3363c8072cbfe4b97409dc60 (diff)
parentec59b600885a1c7a60e1b528f3d09588aa972609 (diff)
downloadregularization-07fb80445f83758e4aed94a461cf1cf2b869318a.tar.gz
regularization-07fb80445f83758e4aed94a461cf1cf2b869318a.tar.bz2
regularization-07fb80445f83758e4aed94a461cf1cf2b869318a.tar.xz
regularization-07fb80445f83758e4aed94a461cf1cf2b869318a.zip
Merge pull request #80 from vais-ral/dev-jenkins
Dev jenkins
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions