Move Snippet management to server.

martinring / cobra

Proof and Code Presentation Framework

http://www.flatmap.net/cobra/

GNU Lesser General Public License v3.0

21 stars 3 forks source link

Open martinring opened 8 years ago

martinring commented 8 years ago

Snippet management on the client is far from optimal and brings numerous issues. It should be moved to the server.

martinring commented 8 years ago

This will also fix #15 (empty snippets)