diff options
author | 2015-05-08 11:59:42 +0000 | |
---|---|---|
committer | 2015-05-08 17:00:44 +0000 | |
commit | c6281bdb89a37292f0a2bee17288d807fad4c996 (patch) | |
tree | 13be34a1d444848fcf7ea2912e5f5112f431911f /src/main/java/com/google/devtools/build/lib/vfs/Dirent.java | |
parent | 5058e37c83716dc7f5f70fd7d86dee44821b241e (diff) |
Skylark: type of None is NoneType (instead of None), for consistency with Python.
--
MOS_MIGRATED_REVID=93120393
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/vfs/Dirent.java')
0 files changed, 0 insertions, 0 deletions