Completion.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
Document.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
Exporter.py
|
initial
|
2011-11-07 16:46:58 -03:00 |
Helper.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
Importer.py
|
initial
|
2011-11-07 16:46:58 -03:00 |
LanguageManager.py
|
initial
|
2011-11-07 16:46:58 -03:00 |
Library.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
Makefile.am
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
Manager.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
Parser.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
Placeholder.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
Snippet.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
SubstitutionParser.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
WindowHelper.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
__init__.py
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |
snippets.ui
|
renaming from gedit to pluma
|
2011-11-07 19:52:18 -03:00 |