From a42de79292d9541db7865b54e93be2d0b6e6a094 Mon Sep 17 00:00:00 2001 From: "serena.spinoso" Date: Thu, 7 Sep 2017 10:22:39 +0200 Subject: update verigraph JIRA: PARSER-154 code optimizations about graph manipulation and formula generation. Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d Signed-off-by: serena.spinoso --- verigraph/src/main/webapp/json/nat.json | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 verigraph/src/main/webapp/json/nat.json (limited to 'verigraph/src/main/webapp/json/nat.json') diff --git a/verigraph/src/main/webapp/json/nat.json b/verigraph/src/main/webapp/json/nat.json deleted file mode 100644 index f2b973a..0000000 --- a/verigraph/src/main/webapp/json/nat.json +++ /dev/null @@ -1,11 +0,0 @@ -{ - "$schema": "http://json-schema.org/draft-04/schema#", - "title": "Nat", - "description": "Polito Nat", - "type": "array", - "items": { - "type": "string" - }, - "minItems": 0, - "uniqueItems": true -} \ No newline at end of file -- cgit 1.2.3-korg