2011/10/1 Dan Kegel :
> + * We can't use the native f* functions because of the filename
> syntax differences
> + * between DOS and Unix.
>
> That doesn't belong in a function comment; it's
> an implementation detail that belongs, at most,
> inside the function.
Yeah true. I simply copied it over
+ * We can't use the native f* functions because of the filename
syntax differences
+ * between DOS and Unix.
That doesn't belong in a function comment; it's
an implementation detail that belongs, at most,
inside the function.