projects
/
gruntmaster-data.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1cdb31f
)
Add documentation for gruntmaster-problem check
author
Marius Gavrilescu
<marius@ieval.ro>
Mon, 16 Mar 2015 14:49:07 +0000
(16:49 +0200)
committer
Marius Gavrilescu
<marius@ieval.ro>
Mon, 16 Mar 2015 14:49:07 +0000
(16:49 +0200)
gruntmaster-problem
patch
|
blob
|
blame
|
history
diff --git
a/gruntmaster-problem
b/gruntmaster-problem
index c3ee8def87efbe561ea8c239dc01ae54a9f431ad..816f919917e42a3c9c1a1cca412928d85963c672 100755
(executable)
--- a/
gruntmaster-problem
+++ b/
gruntmaster-problem
@@
-197,6
+197,7
@@
gruntmaster-problem - shell interface to Gruntmaster 6000 problems
gruntmaster-problem set [--file] problem_id key value
gruntmaster-problem get problem_id key
gruntmaster-problem edit problem_id key
+ gruntmaster-problem check problem_id
=head1 DESCRIPTION
@@
-236,6
+237,10
@@
Opens an editor with the value of the I<key> configuration option. After the edi
Sets the I<key> configuration option of problem I<id> to the contents of the file I<file>.
+=item B<check> I<id>
+
+Rerun all reference jobs for problem I<id> and check their results.
+
=back
=head1 AUTHOR
This page took
0.011172 seconds
and
4
git commands to generate.