diff options
Diffstat (limited to 'resources/pug/finals')
| -rw-r--r-- | resources/pug/finals/clean.pug | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/pug/finals/clean.pug b/resources/pug/finals/clean.pug index 9214ef9..491fcd6 100644 --- a/resources/pug/finals/clean.pug +++ b/resources/pug/finals/clean.pug @@ -25,12 +25,13 @@ block content mixin svnItem(repo, desc) +item('https://svn.cs.ru.nl/repos/' + repo, repo, desc)&attributes(attributes) - h2 Tools + h2 Tools & auxiliaries ul +item('https://cloogle.org', 'Cloogle', 'search engine') +githubItem('clean-cloogle', 'cloogle-tags', 'tagfile generator') +githubItem('camilstaps', 'iClean', 'interactive shell') +githubItem('camilstaps', 'iclm', 'clm with automatic error handling') + +item('https://gitlab.science.ru.nl/cstaps/clean-rts-cheat-sheet', 'cstaps/clean-rts-cheat-sheet', 'cheat sheets for the run-time system') h2 Syntax highlighting, editor plugins, etc. ul |