- Committer: Mario Guerriero
- Date: 2012-08-03 16:53:07 UTC
- Revision ID: mefrio.g@gmail.com-20120803165307-kp40664ai89og5fi
update file .pot. Default right-margin-position option value is 80 now
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
gtk+-3.0.deps |
508 | 12 years ago | xapantu | Add a gtk+-3.0 vapi to compile everywhere | 51 bytes |
|
|
|
gtk+-3.0.vapi |
777 | 11 years ago | Mario Guerriero | fixed bug #1018121 and bug #962106 is in progress | 385 KB |
|
|
|
libdevhelp-3.0.deps |
821 | 11 years ago | Mario Guerriero | added more vapis to work with new plugin. All the | 23 bytes |
|
|
|
libdevhelp-3.0.vapi |
821 | 11 years ago | Mario Guerriero | added more vapis to work with new plugin. All the | 5.3 KB |
|
|
|
peas-gtk.vapi |
844 | 11 years ago | Mario Guerriero | improved plugin manager and plugins. Now plugins a | 1.6 KB |
|
|
|
webkitgtk-3.0.deps |
821 | 11 years ago | Mario Guerriero | added more vapis to work with new plugin. All the | 53 bytes |
|
|
|
webkitgtk-3.0.vapi |
821 | 11 years ago | Mario Guerriero | added more vapis to work with new plugin. All the | 223 KB |
|
|