diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-22 10:16:41 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-22 10:16:41 +1000 |
| commit | a4cd30be68ce1d5725409aa742570325d7526c4f (patch) | |
| tree | f1307d21f51ba19e5afc3d1cf21a3792976f7d7e /html/preferences_panel/prefs.css | |
| parent | 554f530a7ee2dfd1acee5c4e5c975a1295358e68 (diff) | |
Removing the info file
It is hosted at https://www.gnu.org/software/librejs/manual/.
Diffstat (limited to 'html/preferences_panel/prefs.css')
0 files changed, 0 insertions, 0 deletions