Skip to content
Snippets Groups Projects
Commit 6bb006b9 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

itp_server: Allow get_first_unproven_goal_around to always return a node 

This is useful for users of the API who don't know what node they start on
when focusing at start of the interactive process.
parent e662156f
No related branches found
No related tags found
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment