diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-10-14 22:45:46 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-23 22:54:56 +0200 |
| commit | 5d38f7e4e89fe57256c372d0ff38a55362627788 (patch) | |
| tree | 4e147ca94579ab4dfd7b385579cb1d4888d20c5c /gnu/packages/idris.scm | |
| parent | 812c712f7a14289fd99c28dfbfb8ed7d6fab53f4 (diff) | |
| download | patches-5d38f7e4e89fe57256c372d0ff38a55362627788.tar patches-5d38f7e4e89fe57256c372d0ff38a55362627788.tar.gz | |
gnu: Add java-eclipse-jetty-server.
* gnu/packages/web.scm (java-eclipse-jetty-server): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions