david/huginn: Create agents that monitor and act on your behalf. Your agents are standing by! Huginn is a system for building agents that perform automated tasks for you online. Huginn's Agents create and consume events, propagating them along a directed graph. @ 9ef1df36a46c4affbffa1795ca8b7763672a3ea4

Dominik Sander ea2a5e3456 Upgrade jquery.jsoneditor to handle null values		vor 7 Jahren
..
fonts	bd1a01eb4d Upgrade to Bootstrap 3.1.1	vor 10 Jahren
images	620acffa5a initial commit	vor 11 Jahren
javascripts	ea2a5e3456 Upgrade jquery.jsoneditor to handle null values	vor 7 Jahren
stylesheets	a7ed5b5307 Nicer formatting of JSONEditor; minor tweeks; Scenarios show up in the quick navigation menu	vor 10 Jahren