You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
print("Extract problems with respect to a given query. You can mix different queries resulting to all problems that matches all queries. You can also reverse the results.")
75
75
print()
@@ -85,6 +85,8 @@ def parse(self, args):
85
85
print()
86
86
print(" -json display results as a json file")
87
87
print(" -github display results as links to github project\n")
88
+
print(" -dir display results as directory location\n")
0 commit comments