try to gain some vertical space in topmenu : show 'logged in as' in x-small
[unfold.git] / .gitignore
index a7f44c4..d2fb6c4 100644 (file)
@@ -13,4 +13,5 @@ django-static/
 # various working files
 play/
 *.leftovers
+*.hide
 entrypoints.ongoing/