[Xtla-el-dev] tla-bookmarks-missing

[Matthieu Moy]

Hi all ! 

I'm going to  work on the bookmarks missing  feature. Don't touch that
part tonight to avoid conflicts. 

-- 
Matthieu