diff docs/tutorial/scripts.js @ 4100:f21187478dcc stable

depthcache: update the variable tracking on disk state after write Since we updated the on disk content, we should update that value. In practice the object will likely be discarded after the write, but there is nothing wrong in being more correct.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Thu, 13 Sep 2018 18:56:04 +0200
parents aad37ffd7d58
children
line wrap: on
line diff