diff options
| -rw-r--r-- | src/libretools.conf (renamed from libretools.conf) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/libretools.conf b/src/libretools.conf index 8032397..8032397 100644 --- a/libretools.conf +++ b/src/libretools.conf |
 |
index : packages/libretools | |
| Unnamed repository; edit this file 'description' to name the repository. | git-mirror |
| summaryrefslogtreecommitdiff |