lanoxx/tilda-debian lanoxx/tilda-debian

  • This repository has been archived on 09/Feb/2018
  • Stars
    star
    2
  • Language
  • Created almost 10 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lanoxx/tilda-debian
github

lanoxx

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Debian specific packaging data for tilda

More Repositories

1

tilda

A Gtk based drop down terminal for Linux and Unix
C
1,209
star
2

libwnck

This is a copy of the libwnck code on git.gnome.org
C
8
star
3

window-picker-applet

A port of the window-picker-applet to Gnome 3
C
5
star
4

editorswitcher

Editor Switcher for Joomla 3.x
PHP
3
star
5

masterylearning

Mastery learning based interactive e-learning platform.
Java
2
star
6

codegeneratoren

Codegeneratoren at Technical University of Vienna
TeX
2
star
7

simple-model-checker

A simple model-checking algorithm with a CTL* (CTL star) parser for temporal formulas.
C
1
star