Groups
Sign in
Groups
NINJA-IDE-DEV
Conversations
About
Send feedback
Help
[ninja-ide/ninja-ide] bb6f46: Fixed Issue #1876
0 views
Skip to first unread message
Diego Sarmentero
unread,
Jan 15, 2015, 1:47:36 PM
1/15/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to ninja-...@googlegroups.com
Branch: refs/heads/master
Home:
https://github.com/ninja-ide/ninja-ide
Commit: bb6f46d68b4f989fb388aa85c9b3c47122e34e55
https://github.com/ninja-ide/ninja-ide/commit/bb6f46d68b4f989fb388aa85c9b3c47122e34e55
Author: Diego Sarmentero <
diego.sa...@ninja-ide.org
>
Date: 2015-01-15 (Thu, 15 Jan 2015)
Changed paths:
M ninja_ide/gui/editor/editor.py
Log Message:
-----------
Fixed Issue #1876
Commit: dbc268131fd9acfbc1f6e8614c354a44a27d46e5
https://github.com/ninja-ide/ninja-ide/commit/dbc268131fd9acfbc1f6e8614c354a44a27d46e5
Author: Diego Sarmentero <
diego.sa...@ninja-ide.org
>
Date: 2015-01-15 (Thu, 15 Jan 2015)
Changed paths:
M ninja_ide/gui/editor/editor.py
Log Message:
-----------
Merge pull request #1888 from diegosarmentero/master
Fixed Issue #1876
Compare:
https://github.com/ninja-ide/ninja-ide/compare/589331f03749...dbc268131fd9
Reply all
Reply to author
Forward
0 new messages