Age | Commit message (Expand) | Author |
---|---|---|
2007-09-27 | Plugins: added tenthSeconds to the exported API | Andrea Rossato |
2007-07-13 | Plugins.hs: some haddock corrections | Andrea Rossato |
2007-07-13 | added Plugins.hs for exporting the needed plugin API | Andrea Rossato |