diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-04-01 17:20:47 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-04-01 17:20:47 +0200 |
commit | f29f8f80c8ad94576c7a36f3f638866c208338a0 (patch) | |
tree | c0bbb575d283d5fdd722cc721f5a4e50b11b51fd /.github/CODEOWNERS | |
parent | 91e8dfcd7192065f21273d02374dce299241616f (diff) | |
parent | 3c1c101a8757c438379441a334f31f5fe656ef55 (diff) |
Merge PR #6844: Adding tclBINDFIRST/tclBINDLAST, generalizing type of tclTHENFIRST/tclTHENLAST, informative version of shelve unifiable
Diffstat (limited to '.github/CODEOWNERS')
0 files changed, 0 insertions, 0 deletions