-
Sylvain Dailler authored
remove_list [H1,H2] works. Without spaces and with this exact syntax. This is to be modified later. In particular, we should probably handle parsing of arguments differently.
97362ba1
remove_list [H1,H2] works. Without spaces and with this exact syntax. This is to be modified later. In particular, we should probably handle parsing of arguments differently.