ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

diff_edit: add missing copyright header

Browse source
This commit is contained in:
Martin von Zweigbergk 2020-12-26 11:47:13 -08:00
parent b820eddde3
commit b6192a7ed5
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/diff_edit.rs
View file

@ -1,3 +1,17 @@
// Copyright 2020 Google LLC
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
use jj_lib::repo_path::{DirRepoPath, RepoPath};
use jj_lib::store::{StoreError, TreeId, TreeValue};
use jj_lib::store_wrapper::StoreWrapper;