diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-10-31 16:32:22 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-10-31 16:32:22 -0500 |
| commit | ca33695c52400946717021ccf3013a9ad91a5109 (patch) | |
| tree | 903523ad6a86fe502856f5d1765fd9e8843c7d3e /libre/hardinfo/hardinfo.distro | |
| parent | e56ac7546301276d6566a4a8839fa9f3a31dae22 (diff) | |
hardinfo-0.5.1.816.g877ea2b-1.par1: updating version
Diffstat (limited to 'libre/hardinfo/hardinfo.distro')
| -rw-r--r-- | libre/hardinfo/hardinfo.distro | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libre/hardinfo/hardinfo.distro b/libre/hardinfo/hardinfo.distro deleted file mode 100644 index cf378523a..000000000 --- a/libre/hardinfo/hardinfo.distro +++ /dev/null @@ -1 +0,0 @@ -Parabola GNU/Linux-Libre |