mirror/puter
1
0
Fork 0
mirror of https://github.com/HeyPuter/puter.git synced 2026-01-06 05:00:29 -06:00
Code Issues Packages Projects Releases Wiki Activity

chore: remove duplicate headers

Browse Source
This commit is contained in:
KernelDeimos
2024-07-10 16:53:54 -04:00
parent e6e92dc7b2
commit 5b1924f312
39 changed files with 1 additions and 685 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
tools/check-translations.js
View File

@@ -16,24 +16,6 @@
* You should have received a copy of the GNU Affero General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
/**
* Copyright (C) 2024 Puter Technologies Inc.
*
* This file is part of Puter.
*
* Puter is free software: you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License as published
* by the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Affero General Public License for more details.
*
* You should have received a copy of the GNU Affero General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
import translations from '../src/gui/src/i18n/translations/translations.js';
import fs from 'fs';

2
tools/license-headers/main.js
View File

@@ -434,7 +434,7 @@ const cmd_sync_fn = async () => {
const cut_diff_infos = [];
while ( cut_diff_info.has_header ) {
cut_diff_infos.push(cut_diff_info);
cut_range[1] = cut_diff_info.range[1];
cut_range[1] += cut_diff_info.range[1];
await cut_header();
}
if ( cut_range[0] !== cut_range[1] ) {