Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • tickect_15592
  • ticket_15571
  • 1.0.132 protected
  • 1.0.131 protected
  • 1.0.130 protected
  • 1.0.129 protected
  • 1.1.121 protected
  • 1.1.120 protected
  • 1.0.124 protected
  • 1.0.123 protected
  • 1.0.122 protected
  • 1.0.121 protected
  • 1.0.120 protected
  • 1.0.119 protected
  • 1.1.119 protected
  • 1.0.118 protected
  • 1.0.117 protected
  • 1.0.116 protected
  • 1.0.115 protected
  • 1.0.114 protected
  • 1.0.113 protected
  • 1.0.112 protected
23 results
History
Giacomo Strangolino's avatar
improved search (with timer triggering search after a pause in digiting),...
Giacomo Strangolino authored 
improved search (with timer triggering search after a pause in digiting), improved info reload on changes
a8fe62d4
Name Last commit Last update