diff .hgignore @ 198:ab239b3b67b3

browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
author Goffi <goffi@goffi.org>
date Thu, 07 Mar 2013 01:16:13 +0100
parents ea6ae7c4b3f0
children a5019e62c3e9
line wrap: on
line diff