This repository was archived by the owner on Mar 2, 2020. It is now read-only.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Enable master/clone mode for Specmate #250
base: develop
Are you sure you want to change the base?
Enable master/clone mode for Specmate #250
Changes from all commits
fb68f27
120a75a
b7fad7c
cdc3b07
34b70bc
e550e52
85806a0
f711926
3b37ee5
3b201f0
2d29c1e
344237e
25c6805
b2dae8e
40d02a3
404f8c0
b6401bc
eff4c79
41fe802
41d9e7d
196c55d
1a2ced4
096e44c
145cae6
11f56d3
8f2248d
72b2bbc
6b7ef72
cc6a8a1
ef64fe9
ebe0ba0
b191021
88e7aeb
9985cca
c465fed
875c57a
fbb5737
e47cc43
0cc505b
534bade
0699d73
d451a63
fe41b47
b2d6249
a9c656c
317a5a7
222bdf0
8c2e8b2
e25bbc4
558d90e
6dc424b
8303af2
0802bf7
102134b
33cdb8f
ec73d2c
987e1a1
c8495b1
e60450e
a89b7ee
c605a08
fbd0273
dbdbe46
27bc990
c7c2d4e
3a225e4
c57e43e
65f25b6
ad5d91d
63b7810
dbd3735
e92d5d1
7b895f7
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing