summaryrefslogtreecommitdiff
path: root/core/object.h
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2018-02-19 23:56:16 +0100
committerGitHub <noreply@github.com>2018-02-19 23:56:16 +0100
commitad5ac052a447f5121e96f2c3964e14a880b397a7 (patch)
treeaac4eb9a616821320ceb41bb2d4ebc2cf04155f5 /core/object.h
parent1602e0cdb9b4f41faba330537f97f8ed8f381b80 (diff)
parent4bfb504c2f047660ce85fda96657d5cb27415f19 (diff)
Merge pull request #16098 from NathanWarden/ci_command_options
Added --quit and --build-solutions cmd line options to make CI pipelines possible
Diffstat (limited to 'core/object.h')
0 files changed, 0 insertions, 0 deletions