Re: CVS: cvs.openbsd.org: ports

Wed, 09 Jul 2014 05:46:21 -0700 

2014-07-09 14:42 GMT+02:00, Vadim Zhukov <[email protected]>:
>       editors/kile   : Makefile

Oops, this was not intended to be committed. Although it's only a
REVISION bump really, so it doesn't hurt and shouldn't be reverted as
is.

--
  WBR,
  Vadim Zhukov

Reply via email to