diff options
author | Camil Staps | 2018-09-29 12:28:23 +0200 |
---|---|---|
committer | Camil Staps | 2018-09-29 12:28:23 +0200 |
commit | b5cf9add3bfbc8dfe3effdaf9315ee0078aad032 (patch) | |
tree | acdc4006247685253b479370a45119f8c84f3753 /resources/pug/finals | |
parent | More updates to clean.html (diff) |
Add clean-rts-cheat-sheet repository to clean.html
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 |