diff options
Diffstat (limited to 'contrib/ML4PG/libs/ssreflect/jvm/lessp_tactics.csv')
| -rw-r--r-- | contrib/ML4PG/libs/ssreflect/jvm/lessp_tactics.csv | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/contrib/ML4PG/libs/ssreflect/jvm/lessp_tactics.csv b/contrib/ML4PG/libs/ssreflect/jvm/lessp_tactics.csv deleted file mode 100644 index fbed8ac4..00000000 --- a/contrib/ML4PG/libs/ssreflect/jvm/lessp_tactics.csv +++ /dev/null @@ -1,5 +0,0 @@ -0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;102;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --2;0;1;6;1;-2;0;-1;6;1;-2;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;103129104;66;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;105;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;106107;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --9;0;-1;7;1;-4;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;44;108109;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 |