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 |