summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-08-26 22:55:53 +0200
committerAleš Smodiš <aless@guru.si>2015-08-26 22:55:53 +0200
commit33a1aee5c3c3af524cc56056590643af3b127558 (patch)
treed63ab5d3274a7a9284003743cc742220eb834a9c /scripts
parent11872a9610b03f80442e0ee3e6d5041dc72c7812 (diff)
Implemented activity service (auto-saving of traces and solutions).
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions