Use the released version of cookie

2017-03-02 02:26:43 +01:00
parent 5eef8b70e9
commit 6280922c1f
3 changed files with 4 additions and 8 deletions
--- a/src/main.rs
+++ b/src/main.rs
@@ -32,7 +32,6 @@ mod catalogs {
    pub const DS: CatalogDef = ("16w-diskrete-strukturen", None);
 }

-// TODO: use new Cookie release
 // TODO: use clap for proper CLI
 // TODO: clippy