docs/tutorial/.netlify
author Pulkit Goyal <7895pulkit@gmail.com>
Fri, 23 Mar 2018 17:49:26 +0530
changeset 3624 6756f2a85f5b
parent 3376 aad37ffd7d58
permissions -rw-r--r--
evolve: make sure bookmarks are moved after phase-divergence resolution This patch adds logic to move bookmarks from the rebased node to the phase-divergence resolved node.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3376
aad37ffd7d58 doc: import the training support
Boris Feld <boris.feld@octobus.net>
parents:
diff changeset
     1
{"site_id":"cf023865-0eb1-49e9-951b-29555949abf0","path":"html/"}