|
format
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
interface
|
Updated documentation
|
2012-03-11 15:24:10 +00:00 |
|
plugin
|
Some reorganizations of the documentation
|
2012-03-07 14:22:57 +00:00 |
|
scheme
|
Rename get-name-buffer and set-name-buffer
|
2012-03-19 16:05:12 +00:00 |
|
source
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
style
|
Fixes in documentation
|
2012-02-02 22:22:31 +00:00 |
