| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | addlaunchscript.patch | 258 | logplain |
| -rw-r--r-- | contacts.patch | 118610 | logplain |
| -rw-r--r-- | fixdesktopfile.patch | 401 | logplain |
| -rw-r--r-- | series | 84 | logplain |
| -rw-r--r-- | use-signal-not-tclx.patch | 1628 | logplain |
 |
index : mcu8051ide | |
| Debian dgit repo for package mcu8051ide |
| summaryrefslogtreecommitdiff |