diff options
Diffstat (limited to 'ide')
| -rw-r--r--[-rwxr-xr-x] | ide/config.nim | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | ide/main.nim | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | ide/nimide.glade | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | ide/nimide.gladep | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | ide/nimide.nim | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/ide/config.nim b/ide/config.nim index 448a67bda..448a67bda 100755..100644 --- a/ide/config.nim +++ b/ide/config.nim diff --git a/ide/main.nim b/ide/main.nim index a7e9bb642..a7e9bb642 100755..100644 --- a/ide/main.nim +++ b/ide/main.nim diff --git a/ide/nimide.glade b/ide/nimide.glade index ce24683b2..ce24683b2 100755..100644 --- a/ide/nimide.glade +++ b/ide/nimide.glade diff --git a/ide/nimide.gladep b/ide/nimide.gladep index e429f891d..e429f891d 100755..100644 --- a/ide/nimide.gladep +++ b/ide/nimide.gladep diff --git a/ide/nimide.nim b/ide/nimide.nim index 741f71afb..741f71afb 100755..100644 --- a/ide/nimide.nim +++ b/ide/nimide.nim |