Remove CR before saving file |
|
More...
|
about 17 years ago
|
Use peername as RCS author. |
|
More...
|
about 17 years ago
|
Add Wiki_Website.Lock |
|
More...
|
about 17 years ago
|
Copy missing highlight/language directory |
|
More...
|
about 17 years ago
|
Update CSS and top.thtml to new highlight.js |
|
More...
|
about 17 years ago
|
Add elisp mode to new highlight js |
|
More...
|
about 17 years ago
|
Add Ada mode to new highlight js |
|
More...
|
about 17 years ago
|
Update to highlight Version 3.5 |
|
More...
|
about 17 years ago
|
Use RCS for revision control |
|
More...
|
about 17 years ago
|
Add new tests |
|
More...
|
about 17 years ago
|
Install missing libraries in GNATROOT |
|
More...
|
over 17 years ago
|
Do not use edit as prefix URI but edit/ This way it is possible to have a directory named editor/ in the Wiki |
|
More...
|
over 17 years ago
|
Create directories during the setup |
|
More...
|
over 17 years ago
|
Fix bug on menu when no file in selected directory |
|
More...
|
over 17 years ago
|
Delete a file if the file content is erased. |
|
More...
|
over 17 years ago
|
Update wiki_website.gpr to fix gps error |
|
More...
|
over 17 years ago
|
Minor changes (rename screen.css) |
|
More...
|
over 17 years ago
|
Style changes... CSS + Template |
|
More...
|
over 17 years ago
|
Update example.html to match the new list parsing |
|
More...
|
over 17 years ago
|
(Re)add diouzhtu2html regtests |
|
More...
|
over 17 years ago
|
Change list parsing to properly work with nested lists Update the corresponding test |
|
More...
|
over 17 years ago
|
Remove all CR (stupid implementation) |
|
More...
|
over 17 years ago
|
Fix Base_URL setting |
|
More...
|
over 17 years ago
|
Style changes |
|
More...
|
over 17 years ago
|
Fix menu to work properly when no file in selected directory |
|
More...
|
over 17 years ago
|
Move Get_First_Filename in a new package |
|
More...
|
over 17 years ago
|
Index all web blocks keys by virtual host to avoid conflicts |
|
More...
|
over 17 years ago
|
Add Delete_All_Config - Delete all wiki websites and unregister them |
|
More...
|
over 17 years ago
|
Fix edit filename |
|
More...
|
over 17 years ago
|
Create Wiki_HTML_Dir and Wiki_Text_Dir on startup |
|
More...
|
over 17 years ago
|