|
From: Vesa K. <ve...@ml...> - 2006-12-10 11:12:43
|
Reorganized public files. ---------------------------------------------------------------------- D mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig ---------------------------------------------------------------------- Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig 2006-12-10 19:12:34 UTC (rev 4939) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig 2006-12-10 19:12:40 UTC (rev 4940) @@ -1,13 +0,0 @@ -(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland - * - * This code is released under the MLton license, a BSD-style license. - * See the LICENSE file or http://mlton.org/License for details. - *) - -(** Extended {VECTOR_SLICE} signature. *) -signature VECTOR_SLICE = sig - include VECTOR_SLICE - - type 'a t = 'a slice - (** Convenience alias. *) -end |