[jira] [Commented] (TAJO-1986) Rename the name 'option' to property in TableMeta.

["ASF GitHub Bot (JIRA)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/TAJO-1986?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15023767#comment-15023767 ] 

ASF GitHub Bot commented on TAJO-1986:
--------------------------------------

GitHub user hyunsik opened a pull request:

    https://github.com/apache/tajo/pull/872

    TAJO-1986: Rename the name 'option' to property in TableMeta.

    

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/hyunsik/tajo TAJO-1986

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/tajo/pull/872.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #872
    
----
commit 8a6e0ab9d4f9fa451f5568534e0f924c8161d4e0
Author: Hyunsik Choi <hy...@apache.org>
Date:   2015-11-24T04:45:21Z

    TAJO-1986: Rename the name 'option' to property in TableMeta.

----


> Rename the name 'option' to property in TableMeta.
> --------------------------------------------------
>
>                 Key: TAJO-1986
>                 URL: https://issues.apache.org/jira/browse/TAJO-1986
>             Project: Tajo
>          Issue Type: Improvement
>          Components: Storage
>            Reporter: Hyunsik Choi
>            Assignee: Hyunsik Choi
>            Priority: Minor
>             Fix For: 0.12.0
>
>
> This is a trivial patch to rename 'option' to 'property' in TableMeta. This is necessary to make naming more consistent.



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)