]> matita.cs.unibo.it Git - helm.git/blob - helm/uwobo/src/it/unibo/cs/helm/uwobo/Key.java
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / uwobo / src / it / unibo / cs / helm / uwobo / Key.java
1 package it.unibo.cs.helm.uwobo;
2
3 import java.util.*;
4
5 public class Key {
6         public String  name;
7         public HashMap params;
8 };
9